Academic
Publications
First-Class Relationships in an Object-Oriented Language

First-Class Relationships in an Object-Oriented Language,10.1007/11531142_12,Gavin M. Bierman,Alisdair Wren

First-Class Relationships in an Object-Oriented Language   (Citations: 50)
BibTex | RIS | RefWorks Download
In this paper we investigate the addition of first-class re- lationships 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.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Relations. Many authors propose adding relations to both general- and specialpurpose programming languages (e.g., [3; 15; 19; 16])...

    Peter Hawkinset al. Data Structure Fusion

    • ...In this paper, we investigate an alternative approach: we introduce a simple sequential programming language, Rumer, which is a representative of a relationship-based programming language [8, 23, 25, 26, 28]...
    • ...In contrast to other relationship-based programming languages and systems [8, 23, 25, 26, 28], Rumer enforces a modularization discipline that requires a programmer to compose modules in a “top-down” fashion, with the resulting object structure forming a DAG...
    • ...As a result of these efforts relationship-based programming languages [8, 23, 25, 26, 28] have emerged...

    Stephanie Balzeret al. Modular reasoning about invariants over shared state with interposed d...

    • ...Bierman and Wren formalized UML relationships as a first-class language construct [17]...

    Ciera Jaspanet al. Checking Framework Interactions with Relationships

    • ...The main contribution of the work by Bierman and Wren[7] is to provide the type system and the operational semantics of a Java-like language that supports relationships...

    Tobias Wrigstadet al. Software hardening: a research agenda

    • ...This solution underlies languages introducing primitives for relationships, e.g., Bierman and Wren [3]...
    • ...examples used in the works about the modelling of relationships, we notice that relationships are also essentially associated with another concept: students are related to tutors or professors [3,4], basic courses and advanced courses [4], customers buy from sellers [5], employees are employed by employers, underwriters interact with reinsurers [2], etc...

    Matteo Baldoniet al. The Interplay between Relationships, Roles and Objects

Sort by: