@inproceedings{097d7e28b0fe4a12bdc3c2eae7ea2220,
title = "On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics",
abstract = "We study partial and total correctness proof methods based on generalized fixpoint/iteration/variant induction principles applied to the denotational semantics of first-order functional and iterative programs.",
keywords = "Denotational semantics, Induction principles, Partial and total correctness, Verification",
author = "Patrick Cousot",
year = "2020",
doi = "10.1007/978-3-030-45260-5_1",
language = "English (US)",
isbn = "9783030452599",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "3--18",
editor = "Maurizio Gabbrielli",
booktitle = "Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers",
note = "29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019 ; Conference date: 08-10-2019 Through 10-10-2019",
}