×

Found 15 Documents (Results 1–15)

Newest Citations Relevance
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter; Yang, Hongseok

Compositional shape analysis by means of bi-abduction. (English) Zbl 1315.68085

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 289-300 (2009).
MSC:  68N30 03B70
Cite Review PDF
Full Text: DOI Link
Brotherston, James; Bornat, Richard; Calcagno, Cristiano

Cyclic proofs of program termination in separation logic. (English) Zbl 1295.68156

Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 101-112 (2008).
MSC:  68Q60 03B70 68N30 68Q55 68R10
Cite Review PDF
Full Text: DOI
Bornat, Richard; Calcagno, Cristiano; Yang, Hongseok

Variables as resource in separation logic. (English) Zbl 1273.03101

Escardó, M. (ed.) et al., Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18–21, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 155, 247-276 (2006).
MSC:  03B70 68N30 68N15
Cite Review PDF
Full Text: Link
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok

Beyond reachability: shape abstraction in the presence of pointer arithmetic. (English) Zbl 1225.68069

Yi, Kwangkeun (ed.), Static analysis. 13th international symposium, SAS 2006, Seoul, Korea, August 29–31, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37756-6/pbk). Lecture Notes in Computer Science 4134, 182-203 (2006).
MSC:  68N30 03B70 68P05
Cite Review PDF
Full Text: DOI
Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew

From separation logic to first-order logic. (English) Zbl 1119.03022

Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 395-409 (2005).
MSC:  03B70 03B25 68P05
Cite Review PDF
Full Text: DOI
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.

A decidable fragment of separation logic. (English) Zbl 1117.03337

Lodaya, Kamal (ed.) et al., FSTTCS 2004: Foundations of software technology and theoretical computer science. 24th international conference, Chennai, India, December 16–18, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24058-6/pbk). Lecture Notes in Computer Science 3328, 97-109 (2004).
MSC:  03B70 03B25 68Q60
Cite Review PDF
Full Text: DOI
Calcagno, Cristiano; O’Hearn, Peter W.

On garbage and program logic. (English) Zbl 0978.68043

Honsell, Furio (ed.) et al., Foundations of software science and computation structures. 4th international conference, FOSSACS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2030, 137-151 (2001).
MSC:  68N30 68Q60 03B70 68Q55
Cite Review PDF
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

Serial

all top 5

Year of Publication

Main Field

all top 3

Software