Unifying object-oriented programming with typed functional programming
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Guarded recursive datatype constructors
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PolyTOIL: A type-safe polymorphic object-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
An extension to the subtype relationship in C++ implemented with template metaprogramming
Proceedings of the 2nd international conference on Generative programming and component engineering
Proceedings of the 2005 ACM symposium on Applied computing
Z0 - a tiny experimental language
ACM SIGPLAN Notices
KERIS: evolving software with extensible modules: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Design and implementation of a modern compiler course
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Enhancing program verifications by restricting object types
Proceedings of the 2006 ACM symposium on Applied computing
The movable point problem and its resolution in object type graphs
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Genericity in Java: persistent and database systems implications
The VLDB Journal — The International Journal on Very Large Data Bases
Zero-a blend of static typing and dynamic metaprogramming
Computer Languages, Systems and Structures
A discussion on security typing and measurement for SOA
ACM SIGSOFT Software Engineering Notes
A minimalist approach to objects
Computer Languages, Systems and Structures
Multi-level domain modeling with m-objects and m-relationships
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Sessions and session types: an overview
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Delegation by object composition
Science of Computer Programming
Proceedings of the 7th symposium on Dynamic languages
A fully abstract semantics for UML components
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
An empirical study of the influence of static type systems on the usability of undocumented software
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
FJMIP: a calculus for a modular object initialization
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java enjoy wide use in academic and industry. This text explores the formal underpinnings of object-oriented languages to help the reader understand the fundamental concepts of these languages and the design decisions behind them.