A virtual class calculus
From MaRDI portal
Publication:5348929
DOI10.1145/1111037.1111062zbMath1369.68072OpenAlexW2057779758MaRDI QIDQ5348929
William R. Cook, Erik Ernst, Klaus Ostermann
Publication date: 21 August 2017
Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1111037.1111062
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)
Related Items (7)
Soundness Conditions for Big-Step Semantics ⋮ Extended feature algebra ⋮ The Essence of Dependent Object Types ⋮ Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages ⋮ An algebraic foundation for automatic feature-based program synthesis ⋮ An Overview of CaesarJ ⋮ First-Class Object Sets
This page was built for publication: A virtual class calculus
