Author of the publication

A Fresh Look at Separation Algebras and Share Accounting.

, , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 161-177. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modern Compiler Implementation in ML: Basic Techniques. Cambridge University Press, (1997)Foundational proof checkers with small witnesses., , and . PPDP, page 264-274. ACM, (2003)Semantics-Directed Code Generation.. POPL, page 315-324. ACM Press, (1985)Deriving efficient program transformations from rewrite rules., and . Proc. ACM Program. Lang., 5 (ICFP): 1-29 (2021)Security Seals on Voting Machines: A Case Study.. ACM Trans. Inf. Syst. Secur., 14 (2): 18:1-18:29 (2011)Local actions for a curry-style operational semantics., and . PLPV, page 31-42. ACM, (2011)An indexed model of recursive types for foundational proof-carrying code., and . ACM Trans. Program. Lang. Syst., 23 (5): 657-683 (2001)Allocation without Locking.. Softw. Pract. Exp., 19 (7): 703-705 (1989)A Fresh Look at Separation Algebras and Share Accounting., , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 161-177. Springer, (2009)Unrolling Lists., , and . LISP and Functional Programming, page 185-195. ACM, (1994)