( en | de | ru )

 

Disambiguation of "Calcagno, Cristiano"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning about Function Objects.

, , , , and . TOOLS (48), volume 6141 of Lecture Notes in Computer Science, page 79-96. Springer, (2010)

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.

Cristiano Pereira

Cristiano Bertolini

Cristiano Micheli

Cristiano Bettega

Cristiano Tonello

 

Other publications of authors with the same name

Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming., , and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 25-36. Springer, (2000)A polymorphic modal type system for lisp-like multi-staged languages., , and . POPL, page 257-268. ACM, (2006)Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292., , and . PPDP, page 190-201. ACM, (2000)Multi-Stage Imperative Languages: A Conservative Extension Result., and . SAIG, volume 1924 of Lecture Notes in Computer Science, page 92-107. Springer, (2000)Two-level languages for program optimization.. Theor. Comput. Sci., 315 (1): 61-81 (2004)Stratified operational semantics for safety and correctness of the region calculus.. POPL, page 155-165. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.Classical BI: a logic for reasoning about dualising resources., and . POPL, page 328-339. ACM, (2009)Freefinement., , and . POPL, page 7-18. ACM, (2012)Tracking Heaps That Hop with Heap-Hop., , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 275-279. Springer, (2010)Symbolic Execution with Separation Logic., , and . APLAS, volume 3780 of Lecture Notes in Computer Science, page 52-68. Springer, (2005)