On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics

    Patrick Cousot
    Patrick Cousot

    LOPSTR, pp. 3-18, 2019.

    Cited by: 1|Bibtex|Views9|Links
    EI

    Code:

    Data:

    Your rating :
    0

     

    Best Paper
    Best Paper of LOPSTR, 2019
    Tags
    Comments