Sabine Glesner, Jens Knoop, Rolf Drechsler
Proceedings of the Sixth Workshop on Compiler Optimization Meets Compiler Verification
COCV, 2007.

@proceedings{COCV-2007,
	editor        = "Sabine Glesner and Jens Knoop and Rolf Drechsler",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 4,
	title         = "{Proceedings of the Sixth Workshop on Compiler Optimization Meets Compiler Verification}",
	volume        = 190,
	year          = 2007,
}

Contents (5 items)

2 ×#verification

COCV-2007-BloemGJPPW #hardware

Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.

COCV-2007-Hamilton #source code #verification

Distilling Programs for Verification (GWH), pp. 17–32.

COCV-2007-GallardoJM #analysis #data flow #on the fly #verification

On-the-Fly Data Flow Analysis Based on Verification Technology (MdMG, CJ, PM), pp. 33–48.

COCV-2007-FangS #bidirectional #compilation #generative #java #using

Generating Java Compiler Optimizers Using Bidirectional CTL (LF, MS), pp. 49–63.

COCV-2007-BlechP #code generation

A Certifying Code Generation Phase (JOB, APH), pp. 65–82.