Inter-language reflection: A conceptual model and its implementation

Computer Languages, Systems and Structures

Volumn 32, Issue 2-3, 2006, Pages 109-124

  Gybels, Kris ^a   Wuyts, Roel ^b   Ducasse, Stéphane ^c   D'Hondt, Maja ^d  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

^c UNIVERSITÉ DE SAVOIE   (France)

^d UNIV LILLE   (France)

Author keywords

Inter language reflection; Linguistic symbiosis; Meta programming; Reflection

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; REFLECTION;

INTER-LANGUAGE REFLECTION; LINGUISTIC SYMBIOSIS; META PROGRAMMING; SYMBIOTIC REFLECTIVE LANGUAGES;

COMPUTATIONAL LINGUISTICS;

EID: 29244453491     PISSN: 14778424     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cl.2005.10.003     Document Type: Article

References (28)

1. R. Wuyts Declarative reasoning about the structure object-oriented systems Proceedings of the TOOLS USA '98 conference 1998 IEEE Computer Society Press Silver Spring, MD 112 124
2. Mens K, Wuyts R, D'Hondt T. Declaratively codifying software architectures using virtual software classifications. In: Proceedings of TOOLS-Europe 99; 1999. p. 33-45.
3. Florijn G, Meijers M, van Winsen, P. Tool support for object-oriented patterns. In: Aksit M, Matsuoka S, editors. Proceedings ECOOP '97, Lecture notes in computer science, vol. 1241. Jyvaskyla, Finland: Springer; 1997. p. 472-95.
4. Spoon SA, Shivers O. Demand-driven type inference with subgoal pruning: trading precision for scalability. In: Proceedings of ECOOP'04; 2004. p. 51-74.
5. Minsky NH. Law governed regularities in software systems; 1994.
6. Wuyts R, Mens K. Declaratively codifying software architectures using virtual software classifications. In: Proceedings of TOOLS-Europe 1999; 1999.
7. Crew RF. Astlog: a language for examining abstract syntax trees. In: Proceedings of the USENIX conference on domain-specific languages; 1997.
8. S.C. Johnson Lint, a C program checker Computing Science TR 65 1977
9. Ferber J. Conceptual reflection and actor languages. In: North-Holland PM, Nardi D, editors. Meta-level architectures and reflection; 1988. p. 177-93.
10. D. Bobrow, R. Gabriel, and J. White Clos in context - the shape of the design A. Paepcke Object-oriented programming: the CLOS perspective 1993 MIT Press Cambridge, MA 29 61
11. G. Kiczales, J. des Rivières, and D.G. Bobrow The art of the metaobject protocol 1991 MIT Press Cambridge, MA
12. Maes P. Concepts and experiments in computational reflection. In: Proceedings OOPSLA '87, ACM SIGPLAN notices, vol. 22; 1987. p. 147-55.
13. Maes P. Computational reflection. PhD thesis, Laboratory for Artificial Intelligence, Vrije Universiteit Brussel, Brussels Belgium; 1987.
14. Rivard F. Reflective Facilities in Smalltalk, Revue Informatik/ Informatique, revue des organisations suisses d'informatique. Numéro 1 Février; 1996.
15. S. Ducasse Evaluating message passing control techniques in Smalltalk Journal of Object-Oriented Programming (JOOP) 12 1999 39 44
16. Ungar D, Smith RB. Self: the power of simplicity. In: Proceedings OOPSLA '87, ACM SIGPLAN notices, vol. 22; 1987. p. 227-42.
17. W.D. Meuter Agora: the story of the simplest mop in the world Prototype-based programming 1998 Springer Berlin
18. Wuyts R. A logic meta-programming approach to support the co-evolution of object-oriented design and implementation. PhD thesis, Vrije Universiteit Brussel; 2001.
19. Wuyts R, Ducasse S. Symbiotic reflection between an object-oriented and a logic programming language. In: ECOOP 2001 international workshop on multiparadigm programming with object-oriented languages; 2001.
20. Gybels K. Aspect-oriented programming using a logic meta programming language to express cross-cutting through a dynamic joinpoint structure. Licentiate's thesis, Vrije Universiteit Brussel; 2001.
21. Roover CD, Gybels K, D'Hondt T. Towards abstract interpretation for recovering design information. Electronic notes in theoretical computer science, vol. 131; 2005. p. 15-25.
22. M. D'Hondt, and K. Gybels Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis Proceedings of the 19th annual ACM symposium on applied computing (SAC 2004), special track on object-oriented programming, languages and systems 2004 ACM Press New York
23. Fabry J, Mens T. Language-independent detection of object-oriented design patterns. Computer Languages, Systems and Structures 2004;30(1-2):21-33.
24. Ichisugi Y, Matsuoka S, Yonezawa A. Rbcl: a reflective object-oriented concurrent language without a runtime kernel. In: IMSA'92 international workshop on reflection and meta-level architectures; 1992.
25. D'Hondt M. Hybrid aspects for integrating rule-based knowledge and object-oriented functionality. PhD thesis, Vrije Universiteit Brussel; 2004.
26. Schärli N. Supporting pure composition by inter-language bridging on the meta-level. Master's thesis, Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern; 2001.
27. Smith B. Reflection and semantics in lisp. In: Proceedings of the 11th symposium on principles of programming languages; 1984. p. 23-35.
28. R. Muller M-LISP: a representation-independent dialect of LISP with reduction semantics ACM Transactions on Programming Languages and Systems 14 1992 589 616