×

Found 6 Documents (Results 1–6)

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

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software