Author of the publication

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)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)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)Local actions for a curry-style operational semantics., and . PLPV, page 31-42. ACM, (2011)Security Seals on Voting Machines: A Case Study.. ACM Trans. Inf. Syst. Secur., 14 (2): 18:1-18:29 (2011)Foundational proof checkers with small witnesses., , and . PPDP, page 264-274. ACM, (2003)C floating-point proofs layered with VST and Flocq., and . J. Formaliz. Reason., 13 (1): 1-16 (2020)