The following pages link to (Q4385541):
Displaying 12 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Verification conditions for source-level imperative programs (Q465685) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- On the completeness of propositional Hoare logic (Q1602554) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Program logic and equivalence in the presence of garbage collection. (Q1874283) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- Proof-theoretic notions for software maintenance (Q4923374) (← links)
- Functional sorts in data type specifications (Q5055916) (← links)
