Class-Based versus Object-Based: A Denotational Comparison

DOI10.1007/3-540-45719-4_32zbMath1275.68055OpenAlexW1489088018MaRDI QIDQ2996130

Bernhard Reus

Publication date: 6 May 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45719-4_32

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Semantics and logic of object calculi

This page was built for publication: Class-Based versus Object-Based: A Denotational Comparison