( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Relational Reasoning for Recursive Types and References.

, и . APLAS, том 4279 из Lecture Notes in Computer Science, стр. 79-96. Springer, (2006)

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.

Bertold Larsen

Niels Larsen

Bernd Larsonneur

Kirsten Kastrup Larsen

Peter Larsen

 

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

Modular verification of linked lists with views via separation logic., , и . FTfJP@ECOOP, стр. 4:1-4:7. ACM, (2010)From Region Inference to von Neumann Machines via Region Representation Inference., , и . POPL, стр. 171-183. ACM Press, (1996)Relational Reasoning for Recursive Types and References., и . APLAS, том 4279 из Lecture Notes in Computer Science, стр. 79-96. Springer, (2006)Solutions of Generalized Recursive Metric-Space Equations., , и . FICS, стр. 18-24. Institute of Cybernetics, (2009)Guarded Cubical Type Theory., , , , , и . J. Autom. Reason., 63 (2): 211-253 (2019)Asynchronous Probabilistic Couplings in Higher-Order Separation Logic., , , , и . CoRR, (2023)Relational parametricity for references and recursive types., , и . TLDI, стр. 91-104. ACM, (2009)Bibliography on Realizability.. Realizability Semantics and Applications@FLoC, том 23 из Electronic Notes in Theoretical Computer Science, стр. 40-57. Elsevier, (1999)Mechanized verification of a fine-grained concurrent queue from meta's folly library., , и . CPP, стр. 100-115. ACM, (2022)Interactive proofs in higher-order concurrent separation logic., , и . POPL, стр. 205-217. ACM, (2017)