Pages that link to "Item:Q1272764"
From MaRDI portal
The following pages link to Winskel is (almost) right: Towards a mechanized semantics textbook (Q1272764):
Displaying 19 items.
- On theorem prover-based testing (Q470025) (← links)
- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL (Q541222) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Proving pointer programs in higher-order logic (Q2486585) (← links)
- Second-order properties of undirected graphs (Q2695354) (← links)
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm (Q2695356) (← links)
- Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (Q2891399) (← links)
- Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- Some Domain Theory and Denotational Semantics in Coq (Q3183523) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- All-Path Reachability Logic (Q5170834) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)
