×

Found 14 Documents (Results 1–14)

Generalized arrays for Stainless frames. (English) Zbl 1498.68172

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 332-354 (2022).
PDFBibTeX XMLCite
Full Text: DOI

A first-order logic with frames. (English) Zbl 1508.68072

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 515-543 (2020).
MSC:  68N30 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Local reasoning for global graph properties. (English) Zbl 1508.68065

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 308-335 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Backwards and forwards with separation logic. (English) Zbl 1511.68067

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 68-87 (2018).
MSC:  68N30 03B70 68V15
PDFBibTeX XMLCite
Full Text: DOI

Bounded quantifier instantiation for checking inductive invariants. (English) Zbl 1452.68119

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 76-95 (2017).
MSC:  68Q60 03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Ensuring correctness of model transformations while remaining decidable. (English) Zbl 1482.68085

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 315-332 (2016).
PDFBibTeX XMLCite
Full Text: DOI HAL

The relationship between separation logic and implicit dynamic frames. (English) Zbl 1326.68104

Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 439-458 (2011).
MSC:  68N30 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 – May 1, 2010. Revised selected papers. (English) Zbl 1203.68004

Lecture Notes in Computer Science 6355. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-17510-7/pbk). x, 517 p. (2010).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software