A type system for reflective program generators

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

Volumn 3676 LNCS, Issue , 2005, Pages 327-341

  Draheim, Dirk ^a   Lutteroth, Christof ^b   Weber, Gerald ^b  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); SECURITY OF DATA;

CODE GENERATION; REFLECTIVE PROGRAM GENERATORS;

AUTOMATIC PROGRAMMING;

EID: 33646144452     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11561347_22     Document Type: Conference Paper

References (32)

1. Draheim, D., Weber, G.: Form-Oriented Analysis - A New Methodology to Model Form-Based Applications. Springer (2004)
2. Draheim, D., Lutteroth, C., Weber, G.: Factory: Statically Type-Safe Integration of Genericity and Reflection. In: Proceedings of the 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS (2003)
3. Draheim, D., Lutteroth, C., Weber, G.: Integrating Code Generators into the C# Language. In: Proceedings of ICITA 2005: The 3rd International Conference on Information Technology and Applications, IEEE Press (2005) to appear.
4. Draheim, D., Lutteroth, C., Weber, G.: Generative Programming for C#. ACM SIGPLAN Notices (2005) to appear.
5. Kiczales, G.: An overview of AspectJ. In: Proceedings of the European Conference on Object-Oriented Programming. LNCS 2072, Budapest, Hungary (2001) 18-22
6. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley (1995)
7. Kohlbecker, E., Priedman, D., Felleisen, M., Duba, B.: Hygienic Macro Expansion. In Gabriel, R., ed.: Proceedings of the ACM SIGPLAN Conference on LISP and Functional Programming, ACM Press (1986) 151-181
8. Czarnecki, K., Eisenecker, U.: Generative Programming - Methods, Tools, and Applications. Addison-Wesley (2000)
9. R. G. Gabriel, D. G. Bobrow, J.L.W.: Object Oriented Programming - The CLOS perspective. The MIT Press, Cambridge, MA (1993)
10. Chiba, S.: A Metaobject Protocol for C++. In: OOPSLA 1995 - Proceedings of the 10 th Conference on Object-Oriented Programming Systems, Languages and Programming. SIGPLAN Notices, ACM Press (1995) 285-299
11. Nizhegorodov, D.: Jasper: Type-Safe MOP-Based Language Extensions and Reflective Template Processing in Java. In: Proceedings of ECOOP'2000 Workshop on Reflection and Metalevel Architectures: State of the Art, and Future Trends, ACM Press (2000)
12. Cardelli, L.: Type Systems. In: Handbook of Computer Science and Engineering. CRC Press (1997)
13. Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: Adding genericity to the Java programming language. In: OOPSLA 1998 - Conference on Object-Oriented Programming Systems, Languages, and Applications. SIGPLAN Notices, ACM Press (1998) 183-200
14. Bracha, G., Cohen, N., Kemper, C., Marx, S., Odersky, M., Panitz, S.E., Stoutamire, D., Thorup, K., Wadler, P.: Adding Generics to the Java Programming Language: Participant Draft Specification. Technical report, SUN Microsystems Ltd. (2001)
15. Pierce, B.C.: Types and Programming Languages. MIT Press (2002)
16. Siek, J., Lumsdaine, A.: Concept Checking: Binding Parametric Polymorphism in C++. In: First Workshop on C++ Template Programming, NETOBJECTDAYS 2000. (2000)
17. McNamara, B., Smaragdakis, Y.: Static Interfaces in C++. In: First Workshop on C++ Template Programming, NETOBJECTDAYS 2000. (2000)
18. Zolyomi, L, Porkoláb, Z.: Towards a General Template Introspection Library. In: GPCE 2004 - The 3rd International Conference on Generative Programming and Component Engineering. LNCS 3286, Springer (2004) 266-282
19. Attardi, G., Cisternino, A.: Reflection Support by Means of Template Metaprogramming. In: 3rd International Conference on Generative and Component-Based Software Engineering. LNCS 2186 (2001)
20. Attardi, G., Cisternino, A.: Template Metaprogramming an Object Interface to Relational Tables. In: REFLECTION 2001 - The 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns. LNCS 2192 (2001)
21. Smith, D.R.: A Generative Approach to Aspect-Oriented Programming. In: GPCE 2004 - The 3rd International Conference on Generative Programming and Component Engineering. LNCS 3286, Springer (2004) 39-54
22. Paige, R., Koenig, S.: Finite Differencing of Computable Expressions. ACM Trans. Program. Lang. Syst 4 (1982) 402-454
23. Smith, B.C.: Reflection and semantics in LISP. In: POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, ACM Press (1984) 23-35
24. Hinze, R., Jeuring, J.: Generic Haskell: Practice and Theory. In Backhouse, R., Gibbons, J., eds.: Generic Programming: Advanced Lectures. LNCS 2793, Springer (2003) 1-56
25. Hinze, R., Jeuring, J.: Generic Haskell: Applications. In Backhouse, R., Gibbons, J., eds.: Generic Programming: Advanced Lectures. LNCS 2793, Springer (2003) 57-97
26. Kiczales, G., des Rivières, J.: The Art of the Metaobject Protocol. MIT Press (1991)
27. von Dincklage, D.: Making Patterns Explicit with Metaprogramming. In Pfenning, F., Smaragdakis, Y., eds.: GPCE 2003 - The 2nd International Conference Generative Programming and Component Engineering. LNCS 2830, Springer (2003) 287-306
28. Taha, W., Sheard, T.: Multi-Stage Programming with Explicit Annotations. In: PEPM 1997 - Partial Evaluation and Semantics-Based Program Manipulation. SIPLAN Notices, ACM Press (1997) 203-217
29. Taha, W., Sheard, T.: MetaML and Multi-stage Programming with Explicit Annotations. Theoretical Computer Science 248 (2000) 211-242
30. Leroy, X., Doligez, D., Garrigue, J., Rmy, D., Vouillon, J.: The Objective Caml system release 3.08 - Documentation and user's manual. Technical report, Institut National de Recherche en Informatique et en Automatique (2004)
31. Neverov, G., Roe, P.: Metaphor: A Multi-stage, Object-Oriented Programming Language. In: Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE'04). LNCS 3286, Springer (2004) 168-185
32. Draheim, D., Lutteroth, C., Weber, G.: An Analytical Comparison of Generative Programming Technologies. Technical Report B-04-02, Institute of Computer Science, Freie Universität Berlin (2004)