scientific article; zbMATH DE number 1251179

zbMath0913.68025MaRDI QIDQ4230924

K. Rustan M. Leino

Publication date: 7 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

object-oriented programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General topics in the theory of software (68N01)

Related Items (7)

rCOS: a refinement calculus of object systems ⋮ Hoare logic for Java in Isabelle/HOL ⋮ Semantics and logic of object calculi ⋮ A program logic for resources ⋮ Graph transformations for object-oriented refinement ⋮ Invariants for Non-Hierarchical Object Structures ⋮ Model-based specification

This page was built for publication: