Fusing a Transformation Language with an Open Compiler

Electronic Notes in Theoretical Computer Science

Volumn 203, Issue 2, 2008, Pages 21-36

  Kalleberg, Karl Trygve ^a   Visser, Eelco ^b  

^a UNIVERSITY OF BERGEN   (Norway)

^b Faculty of Electrical Engineering   (Netherlands)

Author keywords

compiler scripting; program transformation; strategic programming

Indexed keywords

DATA ACQUISITION; DIGITAL LIBRARIES; GRAPH THEORY; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING; PROGRAM COMPILERS;

COMPILER SCRIPTING; PROGRAM TRANSFORMATION; PROGRAM TRANSFORMATION SYSTEMS; STRATEGIC PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 41349113807     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.03.042     Document Type: Article

References (21)

1. Matrix Toolkits for Java (2006). http://rs.cipr.uib.no/mtj/
2. P. Anderson and T. Teitelbaum. Software inspection using CodeSurfer. In Proceedings of WISE'01 (Itl Workshop on Inspection in Software Engineering), 2001
3. Andreae C., Noble J., Markstrum S., and Millstein T. A framework for implementing pluggable type systems. Proceedings of OOPLSA'06: Conference on Object-Oriented Programming, Systems, Languages, and Applications (2006), ACM Press, New York, NY, USA
4. Bravenboer M., Kalleberg K.T., Vermaas R., and Visser E. Stratego/XT 0.16. Components for transformation systems. ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation. (PEPM'06), Charleston, South Carolina (January, 2006), ACM SIGPLAN
5. Chiba S. A metaobject protocol for C++. OOPSLA'95: Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications (1995), ACM Press, New York, NY, USA 285-299
6. Cordy J.R. TXL - a language for programming language tools and applications. ENTCS 110 (2004) 3-31
7. den Brand M.G.T.V., de Jong H.A., Klint P., and Olivier P.A. Efficient annotated terms. Softw. Pract. Exper. 30 3 (2000) 259-291
8. D.R. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In OSDI, pages 1-16, 2000
9. Hajiyev E., Verbaere M., de Moor O., and de Volder K. CodeQuest: querying source code with datalog. OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2005), ACM Press, New York, NY, USA 102-103
10. K.T. Kalleberg. User-configurable, high-level transformations with CodeBoost. Master's thesis, University of Bergen, P.O. Box 7800, N-5020 Bergen, Norway, March 2003
11. Kniesel G., and Koch H. Static composition of refactorings. Sci. Comput. Program. 52 1-3 (2004) 9-51
12. Martin M., Livshits B., and Lam M.S. Finding application errors and security flaws using PQL: a program query language. OOPSLA '05: Proc. of the ACM SIGPLAN Conf. Object oriented programming, systems, languages, and applications (2005), ACM Press, New York, NY, USA 365-383
13. Moreau P.-E., Ringeissen C., and Vittek M. A pattern matching compiler for multiple target languages. 12th International Conference on Compiler Construction. LNCS (2003), Springer 61-76
14. Nystrom N., Clarkson M.R., and Myers A.C. Polyglot: An extensible compiler framework for Java. 12th International Conference on Compiler Construction. LNCS (2003), Springer 138-152
15. Olmos K., and Visser E. Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules. In: Bodik R. (Ed). 14th International Conference on Compiler Construction. (CC'05). Lecture Notes in Computer Science volume 3443 (April 2005), Springer-Verlag 204-220
16. Strom R.E., and Yellin D.M. Extending typestate checking using conditional liveness analysis. IEEE Trans. Softw. Eng. 19 5 (1993) 478-485
17. Tatsubori M., Chiba S., Itano K., and Killijian M.-O. OpenJava: A class-based macro system for java. Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering (2000), Springer-Verlag, London, UK 117-133
18. van den Brand M.G.J., van Deursen A., Heering J., de Jong H.A., de Jonge M., Kuipers T., Klint P., Moonen L., Olivier P.A., Scheerder J., Vinju J.J., Visser E., and Visser J. The ASF+SDF meta-environment: A component-based language development environment. CC '01: Proceedings of the 10th International Conference on Compiler Construction (2001), Springer-Verlag, London, UK 365-370
19. van Deursen A., and Visser J. Building program understanding tools using visitor combinators. Proceedings 10th Int. Workshop on Program Comprehension. IWPC 2002 (2002), IEEE Computer Society 137-146
20. Verbaere M., Ettinger R., and de Moor O. JunGL: a scripting language for refactoring. ICSE '06: Proceeding of the 28th international conference on Software engineering (2006), ACM Press, New York, NY, USA 172-181
21. Wilson R.P., French R.S., Wilson C.S., Amarasinghe S.P., Anderson J.M., Tjiang S.W.K., Liao S.-W., Tseng C.-W., Hall M.W., Lam M.S., and Hennessy J.L. SUIF: an infrastructure for research on parallelizing and optimizing compilers. SIGPLAN Not. 29 12 (1994) 31-37