( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.

, , , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 182-203. 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.

Cristiano Pereira

Cristiano Bertolini

Cristiano Micheli

Cristiano Bettega

Cristiano Niclass

 

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

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