REASONING ABOUT OBJECT SYSTEMS IN VTLoE

DOI10.1142/S0129054195000160zbMATH Open0830.68021MaRDI QIDQ4853340FDOQ4853340

Authors: Ian A. Mason, Carolyn Talcott 

Publication date: 29 October 1995

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Recommendations

• A variable typed logic of effects
• Denotational semantics for a program logic of objects
• A logic of object-oriented programs
• scientific article; zbMATH DE number 515740
• scientific article; zbMATH DE number 1870424

zbMATH Keywords

lambda calculusvariable type logic of effectscontextual assertionsimulation inductionVTLoE

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Logic programming (68N17) Logic in computer science (03B70)

Cited In (1)

• A first order logic of effects

This page was built for publication: REASONING ABOUT OBJECT SYSTEMS IN VTLoE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4853340)