Contracts, games, and refinement.

DOI10.1006/INCO.1999.2820zbMath1046.68571OpenAlexW2050115485MaRDI QIDQ1854322

Ralph-Johan Back, Joakim von Wright

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1999.2820

zbMATH Keywords

predicate transformer semantics

Mathematics Subject Classification ID

2-person games (91A05) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

External and internal choice with event groups in Event-B ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Multiple Viewpoint Contract-Based Specification and Design

Cites Work

• A theoretical basis for stepwise refinement and the programming calculus
• Games and winning strategies
• Duality in specification languages: A lattice-theoretical approach
• Refinement Calculus
• Programming as a Discipline of Mathematical Nature
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Contracts, games, and refinement.