Compilers - PDFSEARCH.IO - Document Search Engine

Compilers
Results: 1282

#	Item
171	Free-ranging African Elephant IMMUN O C O N TR AC E PTIO N A NEW PARADIGM FOR ELEPHANT MANAGEMENT COMPILERS Audrey Delsink, Ph.D. Candidate \| Jay F. Kirkpatrick, Ph.D. Add to Reading List Source URL: www.hsi.org Language: English - Date: 2012-07-09 11:07:06
172	Understanding and Writing Compilers A do-it-yourself guide Richard Bornat Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2014-11-26 14:21:59
173	Appendix B From LC-3 to x86 As you know, the ISA of the LC-3 explicitly specifies the interface between what the LC-3 machine language programmer or LC-3 compilers produce and what a microarchitecture of the LC-3 can ac Add to Reading List Source URL: courses.engr.illinois.edu Language: English - Date: 2014-08-25 15:40:08
174	Report of a Working Group on Malus/Pyrus Second Meeting 2–4 May 2002, Dresden-Pillnitz, Germany L. Maggioni, M. Fischer, M. Lateur, E.-J. Lamont and E. Lipman, compilers Add to Reading List Source URL: www.ecpgr.cgiar.org Language: English - Date: 2014-06-06 10:31:12
175	LLPE Highly accurate partial evaluation for LLVM IR Christopher Smowton University of Manchester (kinda) Add to Reading List Source URL: llvm.org Language: English - Date: 2015-05-07 11:28:28 Compilers LLVM D Control flow Software engineering Computing Computer programming
176	Problem Program Search Improved Search Strategy Chapter 16: More Global Constraints (Car Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2009-06-21 13:50:48 Compilers GNU Compiler Collection Mega Man X4 Maths24 Local consistency Software Computer programming Constraint programming
177	A Nanopass Framework for Commercial Compiler Development Andrew W. Keep R. Kent Dybvig Add to Reading List Source URL: www.andykeep.com Language: English - Date: 2013-10-07 03:39:55 Compiler construction Procedural programming languages Programming language implementation Compilers Parsing Compiler Static single assignment form Code generation Chez Scheme Software engineering Computing Computer programming
178	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
179	Checking Correctness of Code Generator Architecture Specifications ∗ Niranjan Hasabnis Rui Qiao Add to Reading List Source URL: seclab.cs.sunysb.edu Language: English - Date: 2015-02-26 08:58:27 Programming language implementation Compiler construction Compilers GNU Compiler Collection Compiler X86 Static single assignment form Register transfer language Instruction set Software Computing Computer architecture
180	Extending the internal assembler How to add a new CPU feature Kai Nacke 1 February 2015 LLVM devroom @ FOSDEM´15 Add to Reading List Source URL: fosdem.org Language: English - Date: 2015-02-02 07:56:56 IBM Basic assembly language LLVM Computing Assembler Software engineering Software development Instruction set architectures Compilers MIPS architecture

UPDATE