Stratego/XT 0.16

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Stratego/XT 0.16: components for transformation systems

Full text

Pdf (439 KB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

Charleston, South Carolina

SESSION: Tool demonstrations I table of contents

Pages: 95 - 99

Year of Publication: 2006

ISBN:1-59593-196-1

Authors

Martin Bravenboer	Utrecht University, The Netherlands
Karl Trygve Kalleberg	University of Bergen, Norway
Rob Vermaas	Machina, Utrecht, The Netherlands
Eelco Visser	Utrecht University, The Netherlands

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 21, Citation Count: 10

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1111542.1111558 What is a DOI?

ABSTRACT

Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development of transformation components at a high level of abstraction. The XT toolset offers a collection of flexible, reusable transformation components, as well as declarative languages for deriving new components. Complete program transformation systems are composed from these components. In this paper we give an overview of Stratego/XT 0.16.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	O. S. Bagge, K. T. Kalleberg, M. Haveraaen, and E. Visser. Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs. In D. Binkley and P. Tonella, editors, 3rd IEEE Itl Workshop on Source Code Analysis and Manipulation (SCAM'03), pages 65--74, Amsterdam, The Netherlands, Sep 2003. IEEE Comp. Soc. Press.
	2	M. G. T. Van den Brand , H. A. de Jong , P. Klint , P. A. Olivier, Efficient annotated terms, Software—Practice & Experience, v.30 n.3, p.259-291, Mar.1.2000 [doi>10.1002/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y]
	3	M. Bravenboer, R. de Groot, and E. Visser. Metaborg in action: Examples of domain-specific language embedding and assimilation using. Stratego/XT. In Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'05), Braga, Portugal, July 2005.
	4	M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program transformation with scoped dynamic rewrite rules. Fundamenta Informaticae, 69:1--56, 2005.
	5	M. Bravenboer, R. Vermaas, J. Vinju, and E. Visser. Generalized type-based disambiguation of meta programs with concrete object syntax. In R. Glück and M. Lowry, editors, Proc. of Fourth Itl Conference on Generative Programming and Component Engineering (GPCE'05), volume 3676 of LNCS, pages 157--172, Tallin, Estonia, Sep 2005. Springer.
	6	Martin Bravenboer , Eelco Visser, Rewriting Strategies for Instruction Selection, Proceedings of the 13th International Conference on Rewriting Techniques and Applications, p.237-251, July 22-24, 2002
	7	Martin Bravenboer , Eelco Visser, Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions, Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 24-28, 2004, Vancouver, BC, Canada
	8	Jonathan Gray , Louise Scott , Ian Ferguson, The Second International Symposium on Constructing Software Engineering Tools (CoSET2000) (workshop session), Proceedings of the 22nd international conference on Software engineering, p.801-802, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337822]
	9	B. Fischer and E. Visser. Retrofitting the AutoBayes program synthesis system with concrete object syntax. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of LNCS, pages 239--253. Spinger-Verlag, 2004.
	10	M. de Jonge, E. Visser, and J. Visser. XT: A bundle of program transformation tools. In M. G. J. van den Brand and D. Perigot, editors, Workshop on Language Descriptions, Tools and Applications (LDTA'01), volume 44 of ENTCS. Elsevier, April 2001.
	11	K. T, Kalleberg, www.spoofax.org.
	12	K. T. Kalleberg and E. Visser. Combining aspect-oriented and strategic programming. In N. M.-O. Horatiu Cirstea, editor, Proceedings of the 6th International Workshop of Rule-Based Programming (RULE), ENTCS, Nara, Japan, April 2005. Elsevier.
	13	K. Olmos and E. Visser. Turning dynamic typing into static typing by program specialization. In D. Binkley and P. Tonella, editors, Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'03), pages 141--150, Amsterdam, The Netherlands, September 2003. IEEE Computer Society Press.
	14	K. Olmos and E. Visser. Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules. In R. Bodik, editor, 14th International Conference on Compiler Construction (CC'05), volume 3443 of LNCS, pages 204--220. Springer-Verlag, April 2005.
	15	E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997.
	16	Eelco Visser, Stratego: A Language for Program Transformation Based on Rewriting Strategies, Proceedings of the 12th International Conference on Rewriting Techniques and Applications, p.357-362, May 22-24, 2001
	17	Eelco Visser, Meta-programming with Concrete Object Syntax, The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, p.299-315, October 06-08, 2002
	18	E. Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of LNCS, pages 216--238. Spinger-Verlag, June 2004.
	19	E. Visser. A survey of strategies in rule-based program transformation systems, J. Sym. Comp., 40(1):831--873, 2005. Special issue on Reduction Strategies in Rewriting and Programming.
	20	Eelco Visser , Zine-el-Abidine Benaissa , Andrew Tolmach, Building program optimizers with rewriting strategies, Proceedings of the third ACM SIGPLAN international conference on Functional programming, p.13-26, September 26-29, 1998, Baltimore, Maryland, United States
	21	E. Visser et al. www.stratego-language.org.
	22	D. G. Waddington and B. Yao. High fidelity C++ code transformation. In Proceedings of the 5th workshop on Language Descriptions, Tools and Applications, ENTCS. Elsevier, April 2005.

CITED BY 10

	Martin Bravenboer , Karl Trygve Kalleberg , Rob Vermaas , Eelco Visser, Stratego/XT 0.17. A language and toolset for program transformation, Science of Computer Programming, v.72 n.1-2, p.52-70, June, 2008
	Anya Helene Bagge , Valentin David , Magne Haveraaen , Karl Trygve Kalleberg, Stayin' alert:: moulding failure and exceptions to your needs, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA
	Mark G. J. van den Brand , Paul Klint, ATerms for manipulation and exchange of structured data: It's all about sharing, Information and Software Technology, v.49 n.1, p.55-64, January, 2007
	Ralf Lämmel, Style normalization for canonical X-to-O mappings, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	Gerardo CanforaHarman , Massimiliano Di Penta, New Frontiers of Reverse Engineering, 2007 Future of Software Engineering, p.326-341, May 23-25, 2007
	Karl Trygve Kalleberg , Eelco Visser, Fusing a Transformation Language with an Open Compiler, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.2, p.21-36, April, 2008
	Fabien Latry , Julien Mercadal , Charles Consel, Staging telephony service creation: a language approach, Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications, July 19-20, 2007, New York City, New York
	Valentin David, Preparing for C++0x, Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, October 19-23, 2008, Nashville, TN, USA
	Akim Demaille , Roland Levillain , Benoît Sigoure, TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	Vladimir Oliveira Di Iorio , Leonardo Vieira dos Santos Reis , Roberto da Silva Bigonha , Mariza Andrade da Silva Bigonha, A proposal for extensible AspectJ, Proceedings of the 4th workshop on Domain-specific aspect languages, March 03-03, 2009, Charlottesville, Virginia, USA