Searching for authors named "David Lacey" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Logic Program Synthesis via Proof Planning using Clam
- …Logic Program Synthesis via Proof Planning using Clam David Lacey MSc in Articial Intelligence…
- Cited by 1 (0 self) – Add To MetaCart
-
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode
- …Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode Simon Hammond and David…
- Add To MetaCart
-
Logic Program Synthesis in a Higher-Order Setting
- …Logic Program Synthesis in a Higher-Order Setting David Lacey 1 , Julian Richardson 2…
- Cited by 3 (1 self) – Add To MetaCart
-
Proving correctness of compiler optimizations by temporal logic
- …Proving Correctness of Compiler Optimizations by Temporal Logic ∗ David Lacey David.Lacey@ comlab…
- Cited by 39 (4 self) – Add To MetaCart
-
Detecting Disabling Interference Between Program Transformations
- …Detecting disabling interference between program transformations David Lacey & Oege de Moor…
- Add To MetaCart
-
Imperative Program Transformation By Rewriting
- …Imperative program transformation by rewriting David Lacey & Oege de Moor Oxford University…
- Cited by 28 (5 self) – Add To MetaCart
-
Incremental Program Analysis via Language Factors
- …Incremental Program Analysis via Language Factors Oege de Moor, Stephen Drape, David Lacey…
- Cited by 2 (0 self) – Add To MetaCart
-
Universal regular path queries
- …Universal Regular Path Queries Oege de Moor, David Lacey and Eric Van Wyk November 5, 2002…
- Cited by 7 (1 self) – Add To MetaCart
-
Compiler Optimization Correctness by Temporal Logic
- …Compiler optimization correctness by temporal logic ∗ David Lacey (david.lacey…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 9.
