×

Found 31 Documents (Results 1–31)

On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics. (English) Zbl 1502.68078

Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 3-18 (2020).
MSC:  68N30 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Completeness of Hoare logic relative to the standard model. (English) Zbl 1444.03122

Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 119-131 (2017).
MSC:  03B70 03C62 03F30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Ernst-Rüdiger Olderog: a life for meaning. (English) Zbl 1360.01041

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23505-9/pbk; 978-3-319-23506-6/ebook). Lecture Notes in Computer Science 9360, 5-9 (2015).
MSC:  01A70
PDFBibTeX XMLCite
Full Text: DOI

On the completeness of dynamic logic. (English) Zbl 1234.03019

de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 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-00595-4/pbk). Lecture Notes in Computer Science 5504, 78-91 (2009).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software