Low-level programming language - PDFSEARCH.IO - Document Search Engine

Low-level programming language
Results: 63

#	Item
1	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Add to Reading List Source URL: peek.uwplse.org Language: English - Date: 2016-08-08 16:17:02 Computing Software engineering Software Compiler optimizations Programming language implementation Compiler construction Formal methods Logic in computer science CompCert Low-level programming language Peephole optimization Formal verification
2	¨ BOCHUM RUHR-UNIVERSITAT Horst G¨ortz Institute for IT Security Technical Report TR-HGI Add to Reading List Source URL: www.ei.rub.de Language: English - Date: 2014-12-17 10:12:31 Computing Software engineering Computer architecture Method Data types X86 architecture Assembly languages Virtual method table Subroutines X86 assembly language Low-level programming language Dangling pointer
3	The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01 Computing Computer architecture Software engineering X86 architecture Computer memory Low-level programming language Spinlock X86 Assembly language Memory barrier Memory ordering Exit
4	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
5	Chapter 3 Machine-Level Representation of Programs Computers execute machine code, sequences of bytes encoding the low-level operations that manipulate data, manage memory, read and write data on storage devices, and co Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2010-02-14 14:17:20 Computing Software Computer architecture Programming language implementation Compiler construction Central processing unit X86 architecture GNU Compiler Collection X86-64 Data structure alignment X86 Optimizing compiler
6	C--: a portable assembly language that supports garbage collection Simon Peyton Jones1 , Norman Ramsey2 , and Fermin Reig3 1 , Microsoft Research Ltd Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 1999-07-12 12:58:12 Software engineering Computer programming Computing Programming language implementation Subroutines Cross-platform software Procedural programming languages Object-oriented programming languages Low-level programming language Pointer Stack Calling convention
7	LNCSBAP: A Binary Analysis Platform Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Programming language implementation X86 architecture Assembly languages Decompiler X86 assembly language Compiler construction Low-level programming language X86 Disassembler IMP Compiler Predicate transformer semantics
8	Context-Sensitive Analysis of Obfuscated x86 Executables ∗ Arun Lakhotia† Davidson R. Boccardo‡ † Add to Reading List Source URL: www.cacs.louisiana.edu Language: English - Date: 2009-11-13 12:16:34 Symbol Abstract interpretation Determinacy Pointer Stack Data-flow analysis Low-level programming language Formal languages
9	CS:APP2e Web Aside ASM:EASM: Combining Assembly Code with C Programs∗ Randal E. Bryant David R. O’Hallaron June 5, 2012 Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2012-06-05 05:37:19 X86 architecture Assembly languages Inline assembler X86 instructions Low-level programming language INT X86-64 X86 Exit X Sharp X86 assembly language
10	Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:00 Instruction set architectures Computer memory X86 architecture X86-64 Java memory model X86 Memory barrier Spinlock Memory ordering Low-level programming language Itanium ARM architecture