A pattern matching compiler for multiple target languages

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

Volumn 2622, Issue , 2003, Pages 61-76

  Moreau, Pierre Etienne ^a   Ringeissen, Christophe ^a   Vittek, Marian ^b  

^a LORIA   (France)

^b Institut of Informatica Mlynska Dolina   (Slovakia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA STRUCTURES; FORESTRY; JAVA PROGRAMMING LANGUAGE; PATTERN MATCHING; PROGRAM COMPILERS; TREES (MATHEMATICS);

COMPILER CONSTRUCTION; IMPERATIVE LANGUAGES; MULTIPLE TARGETS; NON-INTRUSIVE; TREE TRANSFORMATION;

C (PROGRAMMING LANGUAGE);

EID: 21144432063     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (13)

1. J. M. Crawford, D. Dvorak, D. Litman, A. Mishra, and P. F. Patel-Schneider. Path-based rules in object-oriented programming. In Proceedings of the Eighth Innovative Applications of Artificial Intelligence Conference, pages 490-497, Menlo Park, 1996. AAAI Press / MIT Press.
2. P. Hudak, S. L. Peyton Jones, and P. Wadler (editors). Report on the Programming Language Haskell, A Non-strict Purely Functional Language (Version 1.2). SIGPLAN Notices, Mar, 1992.
3. H. Kirchner and P.-E. Moreau. Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories. Journal of Functional Programming, 11(2):207-251, 2001.
4. L. Leung. Prop homepage: cs1.cs.nyu.edu/phd_students/leunga/prop.html.
5. J. Liu and A. C. Myers. Jmatch: Iterable abstract pattern matching for java. In V. Dahl and P. Wadler, editors, Proceedings of PADL'03, volume 2562 of LNCS, pages 110-127. Springer-Verlag, 2003.
6. R. Milner, M. Tofte, and R. Harper. The definition of Standard ML. MIT Press, 1990.
7. ∼georgen/app.html.
8. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL'97), Paris, France, pages 146-159. ACM Press, USA, 1997.
9. M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. Olivier. Efficient annotated terms. Software-Practice and Experience, 30:259-291, 2000.
10. M. G. J. van den Brand, P. Klint, and P. Olivier. Compilation and Memory Management for ASF+SDF. In Proceedings of Compiler Construction, 8th International Conference, volume 1575 of LNCS, pages 198-213. Springer, 1999.
11. M. Vittek. A compiler for nondeterministic term rewriting systems. In H. Ganzinger, editor, Proceedings of RTA'96, volume 1103 of LNCS, pages 154-168, New Brunswick (New Jersey), 1996. Springer-Verlag.
12. P. Weis, M. Aponte, A. Laville, M. Mauny, and A. Suárez. The CAML Reference Manual. INRIA-ENS, 1987.
13. M. Zenger and M. Odersky. Extensible algebraic datatypes with defaults. In Proceedings of the 6th ACM SIGPLAN International Conference on functional Programming (ICFP'001), Florence, Italy, pages 241-252. ACM Press, 2001.