First-class relationships in an object-oriented language
作者： Gavin Bierman , Alisdair Wren
DOI: 10.1007/11531142_12
关键词: Operational semantics 、 Java 、 Computer science 、 Fragment (logic) 、 Object-oriented programming 、 Software development 、 Inheritance (object-oriented programming) 、 First class 、 Type theory 、 Programming language
摘要: In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment Java). We provide language-level constructs declare between classes and manipulate relationship instances. allow have attributes novel notion inheritance. formalize our giving both type system operational semantics prove certain key safety properties.
ed.ac.uk
springer.com
core.ac.uk
sci-hub.st 参考文章(16)
Gavin M. Bierman, Wolfram Schulte, Erik Meijer, The Essence of Data Access in C omega . european conference on object-oriented programming. ,vol. 3586, pp. 287- 311 ,(2005)
Grady Booch, James Rumbaugh, Ivar Jacobson, The unified software development process ,(1999)
Sophia Drossopoulou, An Abstract Model of Java Dynamic Linking and Loading Lecture Notes in Computer Science. pp. 53- 84 ,(2000) , 10.1007/3-540-45332-6_3
James S. Noble, John C. Grundy, Explicit Relationships in Object Oriented Development TOOLS. ,(1995)
Mark Berler, Jeff Eastman, David Jordan, Craig Russell, Olaf Schadow, Torsten Stanienda, Fernando Velez, None, The object data standard: ODMG 3.0 Morgan Kaufmann Publishers Inc.. ,(2000)
S Drossopoulou, S Eisenbach, T Valkevych, Java Type Soundness Revisited 90. ,(2000)
Perdita Stevens, Rob Pooley, Using UML : Software Engineering With Objects and Components ,(1999)
Renzo Orsini, Giorgio Ghelli, Antonio Albano, A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language very large data bases. pp. 565- 575 ,(1991)
A.K. Wright, M. Felleisen, A Syntactic Approach to Type Soundness Information & Computation. ,vol. 115, pp. 38- 94 ,(1994) , 10.1006/INCO.1994.1093
John Miles Smith, Diane C. P. Smith, Database abstractions: aggregation and generalization ACM Transactions on Database Systems. ,vol. 2, pp. 105- 133 ,(1977) , 10.1145/320544.320546