The following pages link to Alasdair Armstrong (Q406432):
Displaying 10 items.
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Dependently Typed Programming Based on Automated Theorem Proving (Q2908568) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- On abstraction and compositionality for weak-memory linearisability (Q3296328) (← links)
- Modularising Opacity Verification for Hybrid Transactional Memory (Q5082189) (← links)
- Proving Opacity via Linearizability: A Sound and Complete Method (Q5082190) (← links)
- Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL (Q5327345) (← links)
- Algebras for Program Correctness in Isabelle/HOL (Q5410477) (← links)
- Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version) (Q6632200) (← links)