OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Relations as semantic constructs in an object-oriented language
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A syntactic approach to type soundness
Information and Computation
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The unified software development process
The unified software development process
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
The object data standard: ODMG 3.0
The object data standard: ODMG 3.0
Using Uml: Software Engineering with Objects and Components
Using Uml: Software Engineering with Objects and Components
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
An Abstract Model of Java Dynamic Linking and Loading
TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Proceedings of the 5th international conference on Aspect-oriented software development
Confessions of a used programming language salesman
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Checking framework interactions with relationships
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Design of a class library for association relationships
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Implementing relationships using Affinity
Proceedings of the Workshop on Relationships and Associations in Object-Oriented Languages
Implementing relationships among classes of analysis pattern languages using aspects
Proceedings of the Workshop on Relationships and Associations in Object-Oriented Languages
Implementing UML associations in Java: a slim code pattern for a complex modeling concept
Proceedings of the Workshop on Relationships and Associations in Object-Oriented Languages
Nested and specialized associations
Proceedings of the Workshop on Relationships and Associations in Object-Oriented Languages
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Software hardening: a research agenda
Proceedings for the 1st workshop on Script to Program Evolution
Checking Framework Interactions with Relationships
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Modular reasoning about invariants over shared state with interposed data members
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
Relationships meet their roles in object oriented programming
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Verifying multi-object invariants with relationships
Proceedings of the 25th European conference on Object-oriented programming
Flexible object layouts: enabling lightweight language extensions by intercepting slot access
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Basic operations over models containing subset and union properties
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A new component-oriented programming language with the first-class connector
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
The interplay between relationships, roles and objects
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Efficient object querying for java
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
An introduction to data representation synthesis
Communications of the ACM
Declarative access policies based on objects, relationships, and states
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Declarative object identity using relation types
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A relational model of object collaborations and its use in reasoning about relationships
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A higher abstraction level using first-class inheritance relations
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Content over container: object-oriented programming with multiplicities
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Notions of aliasing and ownership
Aliasing in Object-Oriented Programming
| Hi-index | 0.02 |
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide language-level constructs to declare relationships between classes and to manipulate relationship instances. We allow relationships to have attributes and provide a novel notion of relationship inheritance. We formalize our language giving both the type system and operational semantics and prove certain key safety properties.