A coalgebraic semantics of subtyping

DOI10.1051/ITA:2001109MaRDI QIDQ2747942zbMATH OpenOpenAlexFDO

Authors Erik Poll

Publication date 14 August 2002

Published in RAIRO. Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=ITA_2001__35_1_61_0, http://www.numdam.org/item?id=ITA_2001__35_1_61_0/, https://eudml.org/doc/221987

zbMATH Keywords

coalgebrasobject-oriented programmingrefinementsubtyping

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1497873
• scientific article; zbMATH DE number 1377613
• An approach to object semantics based on terminal co-algebras
• A coalgebraic foundation for coinductive union types
• Coalgebraic description of generalised binary methods

Cites work

• A complete algebraic characterization of behavioral subtyping
• An approach to object semantics based on terminal co-algebras
• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 615137 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 1377613 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 814801 (Why is no real title available?)
• scientific article; zbMATH DE number 814802 (Why is no real title available?)
• On simulation, subtyping and substitutability in sequential object systems
• Proof of correctness of data representations
• Simple type-theoretic foundations for object-oriented programming
• Specification and verification of object-oriented programs using supertype abstraction
• Universal coalgebra: A theory of systems

Cited in

(15)

• Coalgebras and monads in the semantics of Java
• Types and coalgebraic structure
• Coalgebraic semantics and observational equivalences of an imperative class-based OO-language
• Coalgebraic description of generalized binary methods
• Coherence and Transitivity in Coercive Subtyping
• scientific article; zbMATH DE number 1189281 (Why is no real title available?)
• scientific article; zbMATH DE number 1231635 (Why is no real title available?)
• scientific article; zbMATH DE number 1497873 (Why is no real title available?)
• scientific article; zbMATH DE number 1377613 (Why is no real title available?)
• An approach to object semantics based on terminal co-algebras
• A coalgebraic foundation for coinductive union types
• Automata, Languages and Programming
• Coalgebraic description of generalised binary methods
• An implementation of LF with coercive subtyping and universes
• Components as coalgebras: the refinement dimension

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: A coalgebraic semantics of subtyping

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