A mixin-based, semantics-based approach to reusing domain-specific programming languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1850, Issue , 2000, Pages 179-200

  Duggan, Dominic ^a  

^a Stevens Institute of Technology   (United States)

Author keywords

Domain specific programming languages; Java; Mixin based inheritance; Modular interpreters; Monads

Indexed keywords

DIGITAL SUBSCRIBER LINES; JAVA PROGRAMMING LANGUAGE; PROGRAM INTERPRETERS; SEMANTICS;

DOMAIN SPECIFIC PROGRAMMING LANGUAGES; JAVA; MIXIN-BASED INHERITANCE; MONADS; OBJECT ORIENTED; SEMANTIC RELATIONSHIPS; SOFTWARE COMPONENT; SOFTWARE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84957806508     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45102-1_9     Document Type: Conference Paper

References (43)

1. W. Aitken, B. Dickens, P. Kwiatkowski, O. de Moor, D. Richter, and C. Simonyi. Transformation in intentional programming. In Proceedings of the International Conference on Software Reuse. ACM Press, 1998.
2. David Ancona and Elena Zucca. A theory of mixin modules: Basic and derived operators. Mathematical Structures in Computer Science, 8(4):401–446, 1998.
3. Davide Ancona, Giovanni Lagorio, and Elena Zucca. Jam: A smooth extension of Java with mixins. In European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, Cannes, France, June 2000. Springer-Verlag.
4. Don Batory, Bernie Lofaso, and Yannis Smaragdakis. JTS: Tools for implementing domainspecific languages. In Proceedings of the International Conference on Software Reuse. ACM Press, 1998.
5. Edoardo Biagioni, Robert Harper, Peter Lee, and Brian G. Milnes. Signatures for a network protocol stack: A systems application of standard ML. In Proceedings of ACM Symposium on Lisp and Functional Programming, pages 55–64, Orlando, Florida, January 1994. ACM Press.
6. Gilad Bracha and William Cook. Mixin-based inheritance. In Proceedings ofACMSymposium on Object-Oriented Programming: Systems, Languages and Applications, pages 303–311. ACM Press, October 1990. SIGPLAN Notices, volume 25, number 10.
7. Gilad Bracha and Gary Lindstrom. Modularity meets inheritance. In International Conference on Computer Languages, pages 282–290. IEEE, 1992.
8. Kim Bruce, Martin Odersky, and Philip Wadler. Astatically safe alternative to virtual types. In European Conference on Object-Oriented Programming, Lecture Notes in Computer Science. Springer-Verlag, 1998.
9. Robert Cartwright and Matthias Felleisen. Extensible denotational language specifications. In M. Hagiya and J. C. Mitchell, editors, Theoretical Aspects of Computer Science, volume 789 of Lecture Notes in Computer Science, pages 244–272. Springer-Verlag, 1994.
10. J. Craig Cleveland. Building application generators. IEEE Software, July 1988.
11. William Clinger and Jonathan Rees, editors. IEEE Standard for the Scheme Programming Language. Institute for Electrical and Electronic Engineers, 1991. IEEE Standard 1178-1990.
12. William Cook. A Denotational Semantics for Inheritance. PhD thesis, Brown University, 1989.
13. William Cook and Jens Palsberg. A denotational semantics for inheritance and its correctness. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, 1989.
14. Oege de Moor, Simon Peyton-Jones, and Eric VanWik. Aspect-oriented compilers. In Proceedings of the First International Symposium on Generative and Component-Based Software Engineering, Erfurt, Germany, September 1999.
15. G. D. P. Dueck and G. V. Cormack. Modular attribute grammars. Computer Journal, 33(3):164–172, 1990.
16. Dominic Duggan. Modular domain-specific languages: A mixin module-based approach. Submitted for publication, 1999.
17. Dominic Duggan and Constantinos Sourelis. Mixin modules. In Proceedings of ACM International Conference on Functional Programming, pages 262–273, 1996.
18. Dominic Duggan and Constantinos Sourelis. Mixin-based, module-based inheritance. Technical Report 2001, Stevens Institute of Technology, Hoboken, New Jersey, 2000.
19. Erik Ernst. gbeta – a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, Department of Computer Science, University of Aarhus, Å rhus, Denmark, 1999.
20. David Espinosa. Semantic LEGO. PhD thesis, Columbia University, May 1995.
21. R. Farrow, T. J. Marlowe, and D. M. Yellin. Composable attribute grammars: support for modularity in translator design and implementation. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 223–233, 1992.
22. Andrej Filinski. Representing layered monads. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 175–188, 1999.
23. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 171–183. ACM Press, January 1998.
24. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison- Wesley, 1995.
25. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. The Java Series. Addison-Wesley, 1997.
26. S. C. Keene. Object Oriented Programming in Common Lisp: A Programming Guide in CLOS. Addison-Wesley, 1989.
27. D. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127–145, February 1968. Correction, 5, 1, 95 March –96, 1971.
28. Shriram Krishnamurthi and Matthias Felleisen. Toward a formal theory of extensible software. In Proceedings of ACM Symposium on Foundations of Computer Science, 1998.
29. Shriram Krishnamurthi, Matthias Felleisen, and Daniel Friedman. Synthesizing objectoriented and functional design to promote re-use. In European Conference on Object-Oriented Programming, pages 91–113, 1998.
30. Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 333–343, San Francisco, January 1995. ACM Press.
31. Karl J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, Boston, 1996.
32. Ole Lehrmann Madsen, Birger Moller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the BETA Programming Language. ACM Press, 1993.
33. Mira Mezini and Karl Lieberherr. Adaptive plug-and-play components for evolutionary software development. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, 1998.
34. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Revised Definition of Standard ML. The MIT Press, 1997.
35. Eugenio Moggi. An abstract view of programming languages. Technical Report ECS-LFCS- 90-113, Laboratory for Foundations of Computer, University of Edinburgh, Scotland, 1990.
36. Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55–92, 1991.
37. Peter Mosses. Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
38. J. Neighbours. Draco: A method for engineering reusable software components. In T. J. Biggerstaff and A. Perlis, editors, Software Reusability. Addison-Wesley/ACM Press, 1989.
39. Johan Ovlinger and Mitchell Wand. A language for specifying traversals of object structures. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, 1999.
40. R. Prieto-Diaz and G. Arango. Domain Analysis and Software Systems Modelling. IEEE Computer Society Press, 1991.
41. Guy Steele. Building interpreters by composing monads. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 472–492. ACM Press, 1994.
42. P. Wadler. Comprehending monads. Mathematical Structures in Computer Science, 2:461–493, 1992.
43. Keith Wansbrough and John Hamer. Modular monadic action semantics. In USENIX Symposium on Domain-Specific Languages, pages 157–170, Santa Barbara, California, October1997. USENIX.