( en | de | ru )

 

Disambiguierung von "Calcagno, Cristiano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasoning about Function Objects.

, , , , und . TOOLS (48), Volume 6141 von Lecture Notes in Computer Science, Seite 79-96. Springer, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cristiano Pereira

Cristiano Bertolini

Cristiano Micheli

Cristiano Bettega

Cristiano Tonello

 

Weitere Publikationen von Autoren mit dem selben Namen

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