Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

First Page		Document Content
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		Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Add to Reading List Source URL: peek.uwplse.org Download Document from Source Website File Size: 381,17 KB Share Document on Facebook

	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 DocID: 1tFtd - View Document
	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA DocID: 1rsFQ - View Document
	COMP 520 FallVirtual machines (1) COMP 520 Fall 2007 DocID: 1mgek - View Document
	Optgen: A Generator for Local Optimizations Sebastian Buchwald Karlsruhe Institute of Technology Abstract. Every compiler comes with a set of local optimization rules, DocID: 1lGUV - View Document
	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 DocID: 1jUQG - View Document