Peephole optimization - PDFSEARCH.IO - Document Search Engine

Peephole optimization
Results: 23

#	Item
1	Quick Compilers Using Peephole Optimization JACK W. DAVIDSON AND DAVID B. WHALLEY Department of Computer Science, University of Virginia, Charlottesville, VA 22903, U.S.A. SUMMARY Abstract machine modeling is a popular t Add to Reading List Source URL: www.cs.fsu.edu - Date: 2016-05-22 06:55:58
2	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
3	COMP 520 FallVirtual machines (1) COMP 520 Fall 2007 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-19 00:48:32 Computing Software Computer architecture Central processing unit Programming language implementation Assembly languages Java virtual machine Java bytecode Peephole optimization Dalvik Bytecode Instruction set
4	Optgen: A Generator for Local Optimizations Sebastian Buchwald Karlsruhe Institute of Technology Abstract. Every compiler comes with a set of local optimization rules, Add to Reading List Source URL: pp.info.uni-karlsruhe.de Language: English - Date: 2015-01-20 17:49:37 Software Compiler optimizations Computer programming Peephole optimization Superoptimization Constant folding Compiler Program optimization Satisfiability modulo theories Expression Static single assignment form GNU Compiler Collection
5	Internal documentation on the peephole optimizer from the Amsterdam Compiler Kit 1. Introduction Part of the Amsterdam Compiler Kit is a program to do peephole optimization on an EM program. The optimizer scans the progr Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2015-06-18 18:12:26
6	1. statement-by-statement code generation 2. peephole optimization 3. “global” optimization 0-0 Add to Reading List Source URL: www.isical.ac.in Language: English - Date: 2005-08-03 03:10:15
7	Microsoft Word - REV-ARTdoc Add to Reading List Source URL: www.currentscience.ac.in Language: English - Date: 2015-05-18 06:52:38 Compiler optimizations Software Programming language implementation Peephole optimization Code generation Superoptimization Compiler Program optimization Stack machine Software engineering Compiler construction Computing
8	OCamlCC OUDBenoˆıt Vaugon Introduction Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-18 14:53:46 Compiler optimizations Compilers Bytecode OCaml Just-in-time compilation Compiler ParisTech GNU Compiler Collection Peephole optimization Software Computing Compiler construction
9	ClosureElimination and DeadCodeElimination c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia December 4th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-12-04 10:16:16 Compiler optimizations Assembly languages Peephole optimization Inline expansion Java bytecode Forth Static single assignment form Jimple Software engineering Computing Programming language theory
10	OpenJIT Backend Compiler OpenJIT Backend Compiler Kouya SHIMURA June 29, 1998 Add to Reading List Source URL: www.openjit.org Language: English Java programming language Cross-platform software Compiler construction Programming language implementation Java virtual machine Interpreter Just-in-time compilation Peephole optimization Java compiler Computing Software System software