×

Found 3 Documents (Results 1–3)

Enhancing modular OO verification with separation logic. (English) Zbl 1295.68082

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). 87-99 (2008).
MSC:  68N30 68N19 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Automated verification of shape and size properties via separation logic. (English) Zbl 1132.68477

Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 251-266 (2007).
MSC:  68Q60 68N30 68P05
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software