Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Lacey, David - Department of Computer Science, University of Warwick
Program transformation using temporal logic speci cations
Logic Program Synthesis in a Higher-Order David Lacey1
Loop Transformations in the AheadofTime Optimization of Java Bytecode
Universal Regular Path Queries Oege de Moor, David Lacey and Eric Van Wyk
Imperative program transformation by rewriting David Lacey & Oege de Moor
Proving Correctness of Compiler Optimizations by Temporal Logic #
Program transformation using temporal logic specifications
Proving Correctness of Compiler Optimizations by Temporal Logic
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode
Compiler optimization correctness by temporal logic David Lacey (david.lacey@dcs.warwick.ac.uk)
Logic Program Synthesis in a Higher-Order 20th January
Universal Regular Path Queries Oege de Moor, David Lacey and Eric Van Wyk
Imperative Program Transformation by David Lacey and Oege de Moor
Compiler optimization correctness by temporal logic David Lacey (david.lacey@dcs.warwick.ac.uk)
