REASONING ABOUT OBJECT SYSTEMS IN VTLoE

DOI10.1142/S0129054195000160MaRDI QIDQ4853340zbMATH OpenFDO

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)

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)

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

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)