A virtual class calculus
From MaRDI portal
Publication:5348929
Recommendations
Cited in
(10)- Soundness conditions for big-step semantics
- First-Class Object Sets
- Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
- Foundations for virtual types
- An Overview of CaesarJ
- The essence of dependent object types
- Extended feature algebra
- An algebraic foundation for automatic feature-based program synthesis
- scientific article; zbMATH DE number 1693484 (Why is no real title available?)
- scientific article; zbMATH DE number 1533444 (Why is no real title available?)
This page was built for publication: A virtual class calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348929)