Contracts, games, and refinement

Authors:
Ralph-Johan Back;Joakim von Wright
Affiliations:
Abo Akademi Univ., Finland;Abo Akademi Univ., Finland
Venue:
Information and Computation - Special issue on EXPRESS 1997
Year:
2000

Citing 0
Cited 4

Enforcing behavior with contracts

Programming methodology
Multiple Viewpoint Contract-Based Specification and Design

Formal Methods for Components and Objects
Programming with angelic nondeterminism

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A simple game-theoretic approach to checkonly QVT Relations

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract