Roles, stacks, histories: A triple for Hoare
From MaRDI portal
Publication:3021420
DOI10.1017/S0956796810000134zbMath1220.68044MaRDI QIDQ3021420
Johannes Borgström, Riccardo Pucella, Andrew D. Gordon
Publication date: 25 July 2011
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work
- Notions of computation and monads
- A Hoare Logic for Call-by-Value Functional Programs
- Simplify: a theorem prover for program checking
- Parameterised notions of computation
- Typestate: A programming language concept for enhancing software reliability
- Comprehending monads
- Stack-based access control and secure information flow
- Subtyping dependent types
- Unnamed Item
- Unnamed Item
- Unnamed Item