Pages that link to "Item:Q689297"

The following pages link to ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs (Q689297):

Displaying 8 items.

• Constructive Galois Connections (Q4972068) (← links)
• On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics (Q5097622) (← links)
• Verifying Multithreaded Recursive Programs with Integer Variables (Q5179057) (← links)
• What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
• Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)
• Relational Analysis and Precision via Probabilistic Abstract Interpretation (Q5415662) (← links)
• Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)
• A zonotopic framework for functional abstractions (Q5962973) (← links)