 | 2011 |
|---|
| 9 |       | Damon Fenacci,
Kenneth MacKenzie:
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic.
Electr. Notes Theor. Comput. Sci. 279(1): 19-32 (2011) |
| 2010 |
|---|
| 8 | | David Aspinall,
Robert Atkey,
Kenneth MacKenzie,
Donald Sannella:
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.
TGC 2010: 1-22 |
| 2009 |
|---|
| 7 | | Hans-Wolfgang Loidl,
Kenneth MacKenzie,
Steffen Jost,
Lennart Beringer:
A Proof-Carrying-Code Infrastructure for Resources.
LADC 2009: 127-134 |
| 2005 |
|---|
| 6 | | David Aspinall,
Kenneth MacKenzie:
Mobile Resource Guarantees and Policies.
CASSIS 2005: 16-36 |
| 5 |  | Donald Sannella,
Martin Hofmann,
David Aspinall,
Stephen Gilmore,
Ian Stark,
Lennart Beringer,
Hans-Wolfgang Loidl,
Kenneth MacKenzie,
Alberto Momigliano,
Olha Shkaravska:
Mobile Resource Guarantees (project evaluation paper).
Trends in Functional Programming 2005: 211-226 |
| 4 | | Stephen Gilmore,
Kenneth MacKenzie,
Nicholas Wolverson:
Extending resource-bounded functional programming languages with mutable state and concurrency.
Scalable Computing: Practice and Experience 6(4): (2005) |
| 2003 |
|---|
| 3 | | Kenneth MacKenzie,
Nicholas Wolverson:
Camelot and Grail: resource-aware functional programming for the JVM.
Trends in Functional Programming 2003: 29-46 |
| 2 | | Nicholas Wolverson,
Kenneth MacKenzie:
O'Camelot: adding objects to a resource-aware functional language.
Trends in Functional Programming 2003: 47-62 |
| 1 | | Lennart Beringer,
Kenneth MacKenzie,
Ian Stark:
Grail: a functional form for imperative mobile code.
Electr. Notes Theor. Comput. Sci. 85(1): 3-23 (2003) |
Data released under the ODC-BY 1.0 license — See also our legal information page