Can programming be liberated from the two-level style? Multi-level programming with DeepJava

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2007, Pages 229-243

  Kühne, Thomas ^a   Schreiber, Daniel ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Deep characterization; Domain metatypes; Ontological metamodeling

Indexed keywords

(ALGORITHMIC) COMPLEXITY; (PL) PROPERTIES; (SPM) CLASSES; DOMAIN LEVELS; IN ORDER; INTERNATIONAL CONFERENCES; LANGUAGE DESIGNS; LANGUAGES (TRADITIONAL); LINGUISTIC CONTROL; MULTI LEVEL PROGRAMMING; OBJECT-ORIENTED PROGRAMMING;

CLASSIFICATION (OF INFORMATION); COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; NEODYMIUM; QUERY LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 42149123729     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297027.1297044     Document Type: Conference Paper

References (38)

1. Martín Abadi and Luca Cardelli. On subtyping and matching. In W. Olthoff, editor, Proceedings ECOOP '95, LNCS 952, pages 145-167, Aarhus, Denmark, August 1995. Springer.
2. Colin Atkinson and Thomas Kühne. Meta-level independent modeling. In International Workshop Model Engineering (in Conjunction with ECOOP'2000). Springer Verlag, Cannes, France, June 2000.
3. th International Conference on the UML 2000, Toronto, Canada, LNCS 2185, pages 19-33. Springer Verlag, October 2001.
4. Colin Atkinson and Thomas Kühne. Reducing accidental complexity in domain models. Journal on Software and Systems Modeling, to appeal' 2008, DOI: 10.1007/s10270-007-0061-0.
5. John W. Backus. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM, 21(8):613-641, August. 1978.
6. Noury M. N. Bouraqadi-Saâdani, Thomas Ledoux, and Fred Rivard. Safe metaclass programming. In Proceedings of the 13th ACM SIGPIAN conference on Object-oriented programming, systems, languages, and applications, pages 84-96, New York, NY, USA, 1998. ACM Press.
7. Martin Bravenboer, René de Groot, and Eelco Visser. MetaBorg in action: Examples of domain-specific language embedding and assimilation using Stratego/XT. In R. Lammel and J. Saraiva, editors, Proceedings of GTTSE'05, LNCS 4143, pages 297-311. Springer, 2006.
8. Frederick P. Brooks. No silver bullet: essence and accidents of software engineering. Computer, 20(4): 10-19, 1987.
9. Luca Cardelli. Structural subtyping and the notion of power type. In Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 70-79, San Diego, California, 1988.
10. CesarGonzalez-Perez and Brian Henderson-Sellers. A. powertype-based metamodelling framework. Software and Systems Modeling, V5(1):72-90, April 2006.
11. Shigeru Chiba. Load-time structural reflection in Java. In Proceedings of the 14th European Conference on Object-Oriented Programming, LNCS 1850, pages 313 - 336, 2000.
12. Peter Coad. Object-oriented patterns. Communications of the ACM, 35(9): 152-159, September 1992.
13. P. Cointe. Reflective languages and metalevel architectures. ACM Comput. Surv., 28(4es):151, 1996.
14. Pierre Cointe. Metaclasses are first class: The objvlisp model. SIGPLANNotices, 22(12):156-162, 1987.
15. Erik Ernst. gbeta - A Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, DEVISE, Department of Computer Science, University of Aarhus, Aarhus, Denmark, June 1999.
16. Erik Ernst. Family polymorphism. In Jørgen Lindskov Knudsen, editor, Proceedings of ECOOP 2001, LNCS 2072, pages 303-326, Heidelberg, Germany, 2001. Springer-Verlag.
17. Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA, 1983.
18. Robert. C. Goldstein and Veda C. Storey. Materialization. IEEE Transactions on Knowledge & Data Engineering, 6(5):835-842, 1994.
19. Matthias Jarke, Rainer Gallersdörfer, Manfred A. Jeusfeld, Martin Staudt, and Stefan Eherer. ConceptBase - a deductive object base for meta data management. Journal of Intelligent Information Systems, 4(2):167-192, 1995.
20. Ralph Johnson and Bobby Woolf. Type object. In Robert C. Martin, Dirk Riehle, and Frank Buschmann, editors, Pattern Languages of Program Design 3, pages 47-65. Addison-Wesley, 1997.
21. Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow. The Art of the Metaobject Protocol. MIT Press, 1991.
22. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Proceedings of ECOOP'97, Finland, pages 222-242, Berlin, June 1997. Springer Verlag, LNCS 1241.
23. Thomas Kühne. Matters of (meta-) modeling. Journal on Software and Systems Modeling, 5(4):369-385, 2006.
24. Craig Larman. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall, second edition edition, 2002.
25. Thomas Ledoux and Pierre Cointe. Explicit metaclasses as a tool for improving the design of class libraries. In Proceedings of ISOTAS, LNCS 1049, pages 38-55. Springer Verlag, March 1996.
26. Barbara H. Liskov and Jeannette M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming languages and Systems, 16(6):1811-1841, 1994.
27. Fernando Daniel Lyardet. The dynamic template pattern. In Proceedings of the Conference on Pattern Languages of Design, 1997.
28. Ole L. Madsen, Birger Möller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, June 1993.
29. Pattie Maes and D. Nardi, editors. Meta-Level Architectures and Reflection. Elsevier Science Inc., New York, USA, 1988.
30. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, ISBN 0-13-629155-4, 2nd edition, 1997.
31. John Mylopoulos, Alexander Borgida, Matthias Jarke, and Manolis Koubarakis. Telos: Representing knowledge about information systems. Information Systems, 8(4):325-362, 1990.
32. Nathaniel Nystrom, Michael R. Clarkson, and Andrew C. Myers. Polyglot: An extensible compiler framework, for Java. In Proceedings of the 12th International Conference on Compiler Construction, LNCS 2622, pages 138-152. Springer, April 2003.
33. Jim Odell. Power types. Journal of Object-Oriented Programming, 7(2):8-12, May 1994.
34. OMG. Unified Modeling Language Superstructure Specification, Version 2.1.1, OMG document formal/07-02-05, February 2007.
35. th International Conference on Very Large Data Bases (VLDB '94), pages 630-641. Morgan Kaufman, 1994.
36. David L. Shang. Covariant deep subtyping reconsidered. ACM SIGPLAN Notices, 30(5):21-28, May 1995.
37. Joseph W. Yoder and Ralph E. Johnson. The adaptive object-model architectural style. In Proceedings of the 3rd IEEF/IFIP Conference on Software Architecture: System Design, Development and Maintenance, pages 3-27, Deventer, The Netherlands, The Netherlands, 2002. Kluwer, B.V.
38. David Zook, Shan Shan Huang, and Yannis Smaragdakis. Generating AspectJ programs with Meta-AspectJ. In Gabor Karsai, and Eelco Visser, editors, Proceedings of GPCE'04, LNCS 3286, pages 1-18. Springer, 2004.