( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Fresh Look at Separation Algebras and Share Accounting.

, , и . APLAS, том 5904 из Lecture Notes in Computer Science, стр. 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.

Andrew Cato

Andrew Singer

Andrew Torda

Andrew Huvos

Andrew Lee

 

Другие публикации лиц с тем же именем

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