Difunctorial semantics of object calculus

MaRDI QIDQ2848697zbMATH OpenFDO

Authors Johan Glimming, Neil Ghani

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051364

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Semantics and logic of object calculi
• Denotational semantics for a program logic of objects
• Denotational semantics of object specification
• -calculus semantics of object-oriented programming languages
• Semantics, calculi, and analysis for object-oriented specifications
• scientific article; zbMATH DE number 1231588
• Objects and their lambda calculus
• An imperative object calculus
• scientific article; zbMATH DE number 3902017
• Object calculi in linear logic

Cited in

(10)

• Denotational semantics of object specification
• Denotational semantics of an object-oriented programming language with explicit wrappers
• Calculus of task-constructive objects and their interpretations: II
• Semantics and logic of object calculi
• Easy definition of new facets in the frame-based language Objlog+
• A Step-indexed Semantics of Imperative Objects
• scientific article; zbMATH DE number 1231588 (Why is no real title available?)
• The recursive record semantics of objects revisited
• Object calculi in linear logic
• An imperative object calculus

This page was built for publication: Difunctorial semantics of object calculus

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