Article

A Haskell Hosted DSL for Writing Transformation Systems

Author:

Andy GillAuthors Info & Claims

DSL '09: Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages

Pages 285 - 309

https://doi.org/10.1007/978-3-642-03034-5_14

Published: 02 July 2009 Publication History

Abstract

KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of engineering effort goes into setting up plumbing to make sure that specific rewrite rules can fire. Systems like Stratego and Strafunski provide most of this plumbing as infrastructure, allowing the DSL user to focus on the rewrite rules. KURE is a strongly typed strategy control language in the tradition of Stratego and Strafunski. It is intended for writing reasonably efficient rewrite systems, makes use of type families to provide a delimited generic mechanism for tree rewriting, and provides support for efficient identity rewrite detection.

References

[1]

Peyton Jones, S. (ed.): Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, Cambridge (2003).

[2]

Sheard, T., Peyton Jones, S.: Template metaprogramming for Haskell. In: Chakravarty, M.M.T. (ed.) ACM SIGPLAN Haskell Workshop 2002, pp. 1-16. ACM Press, New York (2002).

Digital Library

[3]

Chakravarty, M.M.T., Keller, G., Jones, S.P.: Associated type synonyms. In: ICFP 2005: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, pp. 241-253. ACM, New York (2005).

Digital Library

[4]

Visser, E.: Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In: Lengauer, C., Batory, D., Consel, C., Odersky, M. (eds.) Domain-Specific Program Generation. LNCS, vol. 3016, pp. 216-238. Springer, Heidelberg (2004).

[5]

Lämmel, R., Visser, J.: Typed Combinators for Generic Traversal. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol. 2257, pp. 137-154. Springer, Heidelberg (2002).

Digital Library

[6]

Gill, A.: Introducing the Haskell Equational Reasoning Assistant. In: Proceedings of the 2006 ACM SIGPLAN Workshop on Haskell, pp. 108-109. ACM Press, New York (2006).

Digital Library

[7]

Hutton, G., Meijer, E.: Monadic parsing in Haskell. Journal of Functional Programing 8(4), 437-444 (1998).

Digital Library

[8]

Lämmel, R., Peyton Jones, S.: Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices 38(3), 26-37 (2003); Proc. of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003).

Digital Library

[9]

Bravenboer, M., van Dam, A., Olmos, K., Visser, E.: Program transformation with scoped dynamic rewrite rules. Fundamenta Informaticae 69(1-2), 123-178 (2006).

Digital Library

[10]

Dolstra, E.: Functional stratego. In: Visser, E. (ed.) Proceedings of the Second Stratego Users Day (SUD 2001), pp. 10-17 (2001).

[11]

Dolstra, E.: First-class rules and generic traversal for program transformation languages. Master's thesis, Utrecht University, Utrecht, The Netherlands, INF/SCR- 2001-15 (August 2001).

[12]

Dolstra, E., Visser, E.: First-class rules and generic traversal. Technical Report UU-CS-2001-38, Institute of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands (2001).

[13]

Hall, C., Hammond, K., Jones, S.P., Wadler, P.: Type classes in Haskell. ACM Transactions on Programming Languages and Systems 18, 241-256 (1996).

Digital Library

[14]

Borovansky, P., Kirchner, C., Kirchner, H., Ringeissen, C.: Rewriting with strategies in ELAN: A functional semantics. International Journal of Foundations of Computer Science 1, 69-95 (2001).

[15]

Leijen, D., Meijer, E.: Domain specific embedded compilers. In: 2nd USENIX Conference on Domain Specific Languages (DSL 1999), Austin, Texas, October 1999, pp. 109-122 (1999).

Digital Library

[16]

Lämmel, R., Visser, J.: Type-safe functional strategies. In: Scottish Functional Programming Workshop (2000).

[17]

Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: ACM (ed.) Conference record of POPL 1995, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, pp. 333-343. ACM Press, New York (1995).

Digital Library

[18]

Hughes, J.: Generalising monads to arrows. Science of Computer Programming 37, 67-111 (2000).

Digital Library

[19]

Appel, A.W.: Modern Compiler Implementation in Java, 2nd edn. Cambridge University Press, Cambridge (2002).

Digital Library

[20]

Jones, M.P., Diatchki, I.S.: Language and program design for functional dependencies. In: Haskell 2008: Proceedings of the first ACM SIGPLAN symposium on Haskell, pp. 87-98. ACM, New York (2008).

Digital Library

[21]

Gill, A., Hutton, G.: The worker/wrapper transformation. Journal of Functional Programming 19(2), 227-251 (2009).

Digital Library

[22]

Visser, E., Benaissa, Z., Tolmach, A.: Building program optimizers with rewriting strategies. In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP 1998), pp. 13-26. ACM Press, New York (1998).

Digital Library

[23]

Visser, E.: A survey of rewriting strategies in program transformation systems. In: Gramlich, B., Lucas, S. (eds.) Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), Utrecht, The Netherlands. Electronic Notes in Theoretical Computer Science, vol. 57. Elsevier Science Publishers, Amsterdam (2001).

[24]

Weaver, P., Kimmell, G., Frisby, N., Alexander, P.: Constructing language processors with algebra combinators. In: GPCE 2007: Proceedings of the 6th international conference on Generative programming and component engineering, pp. 155-164. ACM, New York (2007).

Digital Library

[25]

Harrison, W.L., Kamin, S.N.: Metacomputation-based compiler architecture. In: Mathematics of Program Construction, pp. 213-229 (2000).

Digital Library

[26]

Balland, E., Moreau, P.E., Reilles, A.: Rewriting strategies in Java. Electron. Notes Theor. Comput. Sci. 219, 97-111 (2008).

Digital Library

[27]

Mainland, G.: Why it's nice to be quoted: quasiquoting for Haskell. In: Haskell 2007: Proceedings of the ACM SIGPLAN workshop on Haskell, pp. 73-82. ACM, New York (2007).

Digital Library

Cited By

Koppel JPremtoon VSolar-Lezama A(2018)One tool, many languages: language-parametric transformation with incremental parametric syntaxProceedings of the ACM on Programming Languages10.1145/32764922:OOPSLA(1-28)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276492
Farmer AHoener zu Siederdissen CGill AChin WHage J(2014)The HERMIT in the streamProceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation10.1145/2543728.2543736(97-108)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2543728.2543736
Adams MFarmer AMagalhães JChin WHage J(2014)Optimizing SYB is easy!Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation10.1145/2543728.2543730(71-82)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2543728.2543730
Show More Cited By

A Haskell Hosted DSL for Writing Transformation Systems
1. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms

Recommendations

A DSL for writing type systems for Xtext languages
PPPJ '11: Proceedings of the 9th International Conference on Principles and Practice of Programming in Java

Xtext is a framework for the development of languages, which also generates all the typical and recurrent artifacts for a fully-fledged IDE on top of Eclipse. The validation (e.g., checking the correctness of programs from the point of view of types) of ...
Dependency-style generic haskell

Generic Haskell is an extension of Haskell that supports the construction of generic programs. During the development of several applications, such as an XML editor and compressor, we encountered a number of limitations with the existing (Classic) ...
Dependency-style generic haskell
ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming

Generic Haskell is an extension of Haskell that supports the construction of generic programs. During the development of several applications, such as an XML editor and compressor, we encountered a number of limitations with the existing (Classic) ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

DSL '09: Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages

July 2009

409 pages

ISBN:9783642030338

Editor:
Walid Mohamed Taha
Department of Computer Science, Rice University, Houston, USA TX 77005

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 02 July 2009

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Koppel JPremtoon VSolar-Lezama A(2018)One tool, many languages: language-parametric transformation with incremental parametric syntaxProceedings of the ACM on Programming Languages10.1145/32764922:OOPSLA(1-28)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276492
Farmer AHoener zu Siederdissen CGill AChin WHage J(2014)The HERMIT in the streamProceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation10.1145/2543728.2543736(97-108)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2543728.2543736
Adams MFarmer AMagalhães JChin WHage J(2014)Optimizing SYB is easy!Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation10.1145/2543728.2543730(71-82)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2543728.2543730
Farmer AGill AKomp ESculthorpe N(2012)The HERMIT in the machineACM SIGPLAN Notices10.1145/2430532.236450847:12(1-12)Online publication date: 13-Sep-2012
https://dl.acm.org/doi/10.1145/2430532.2364508
Farmer AGill AKomp ESculthorpe NVoigtländer J(2012)The HERMIT in the machineProceedings of the 2012 Haskell Symposium10.1145/2364506.2364508(1-12)Online publication date: 13-Sep-2012
https://dl.acm.org/doi/10.1145/2364506.2364508

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents