×

Found 32 Documents (Results 1–32)

Newest Citations Relevance
Nordio, Martin; Calcagno, Cristiano; Meyer, Bertrand

Certificates and separation logic. (English) Zbl 1348.68041

Abadi, Martín (ed.) et al., Trustworthy global computing. 8th international symposium, TGC 2013, Buenos Aires, Argentina, August 30–31, 2013. Revised selected papers. Cham: Springer (ISBN 978-3-319-05118-5/pbk; 978-3-319-05119-2/ebook). Lecture Notes in Computer Science 8358, 273-293 (2014).
MSC:  68N30 68N19
Cite Review PDF
Full Text: DOI
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
Raza, Mohammad; Calcagno, Cristiano; Gardner, Philippa

Automatic parallelization with separation logic. (English) Zbl 1234.68080

Castagna, Giuseppe (ed.), Programming languages and systems. 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00589-3/pbk). Lecture Notes in Computer Science 5502, 348-362 (2009).
MSC:  68N30 68N19
Cite Review PDF
Full Text: DOI
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
Yang, Hongseok; Lee, Oukseh; Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter

Scalable shape analysis for systems code. (English) Zbl 1155.68359

Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 385-398 (2008).
MSC:  68N25 68N30
Cite Review PDF
Full Text: DOI
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok

Shape analysis for composite data structures. (English) Zbl 1135.68372

Damm, Werner (ed.) et al., Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73367-6/pbk). Lecture Notes in Computer Science 4590, 178-192 (2007).
MSC:  68P05
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
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid

ML-like inference for classifiers. (English) Zbl 1126.68330

Schmidt, David (ed.), Programming languages and systems. 13th European symposium on programming, ESOP 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21313-9/pbk). Lecture Notes in Computer Science 2986, 79-93 (2004).
MSC:  68N15 68N30
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; Yang, Hongseok; O’Hearn, Peter W.

Computability and complexity results for a spatial assertion language for data structures. (English) Zbl 1052.68590

Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 108-119 (2001).
MSC:  68P05 68Q25 68Q60
Cite Review PDF
Full Text: Link
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