References

  1. H.J.S. Basten (2010): Tracking Down the Origins of Ambiguity in Context-Free Grammars. In: Proceedings of ICTAC'10, LNCS 6255. Springer-Verlag, pp. 76–90, doi:10.1007/978-3-642-14808-8_6.
  2. J.A. Bergstra, J. Heering & P. Klint (1989): Algebraic Specification. ACM Press/Addison-Wesley.
  3. D. Beyer (2006): Relational programming with CrocoPat. In: Proceedings of ICSE'06. ACM Press, pp. 807–810, doi:10.1145/1134285.1134420.
  4. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau & C. Ringeissen (1998): An Overview of ELAN. In: Proceedings of WRLA'98, ENTCS 15. Elsevier, doi:10.1016/S1571-0661(05)82552-6.
  5. J. van den Bos & T. van der Storm (2011): Bringing Domain-Specific Languages to Digital Forensics. In: Proceedings of ICSE'11. ACM Press, pp. 671–680, doi:10.1145/1985793.1985887.
  6. M.G.J. van den Brand, M. Bruntink, G.R. Economopoulos, H.A. de Jong, P. Klint, T. Kooiker, T. van der Storm & J.J. Vinju (2007): Using The Meta-Environment for Maintenance and Renovation. In: Proceedings of CSMR'07. IEEE, pp. 331–332, doi:10.1109/CSMR.2007.52.
  7. M.G.J. van den Brand, A. van Deursen, J. Heering, H.A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P.A. Olivier, J. Scheerder, J.J. Vinju, E. Visser & J. Visser (2001): The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. In: Proceedings of CC '01, LNCS 2027. Springer-Verlag, pp. 365–370, doi:10.1007/3-540-45306-7_26.
  8. M.G.J. van den Brand, P. Klint & J.J. Vinju (2003): Term rewriting with traversal functions. ACM Transactions on Software Engineering and Methodology 12(2), pp. 152–190, doi:10.1145/941566.941568.
  9. M.G.J. van den Brand, A. van Deursen, P. Klint, S. Klusener & E.A. van der Meulen (1996): Industrial Applications of ASF+SDF. In: Proceedings of AMAST'96, LNCS 1101. Springer-Verlag, pp. 9–18, doi:10.1007/BFb0014303.
  10. M.G.J. van den Brand, J. Heering, P. Klint & P.A. Olivier (2002): Compiling language definitions: The ASF+SDF compiler. ACM Transactions on Programming Languages and Systems 24(4), pp. 334–368, doi:10.1145/567097.567099.
  11. M.G.J. van den Brand, H.A. de Jong, P. Klint & P.A. Olivier (2000): Efficient Annotated Terms. Software, Practice & Experience 30(3), pp. 259–291, doi:10.1002/(SICI)1097-024X(200003)30:3%3C259::AID-SPE298%3E3.0.CO;2-Y.
  12. F. Budinsky, S.A. Brodsky & E. Merks (2003): Eclipse Modeling Framework. Pearson Education.
  13. Ph. Charles, R.M. Fuhrer, S.M. Sutton, Jr., E. Duesterwald & J. Vinju (2009): Accelerating the Creation of Customized, Language-Specific IDEs in Eclipse. In: Proceedings of OOPSLA'09. ACM Press, pp. 191–206, doi:10.1145/1640089.1640104.
  14. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart\'ı-Oliet, J. Meseguer & J. F. Quesada (2002): Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science 285(2), pp. 187–243, doi:10.1016/S0304-3975(01)00359-0.
  15. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart\'ı-Oliet, J. Meseguer & C.L. Talcott (2007): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS 4350. Springer-Verlag, doi:10.1007/978-3-540-71999-1.
  16. J.R. Cordy (2011): Excerpts from the TXL cookbook. In: Post-Proceedings of GTTSE'09, LNCS 6491. Springer-Verlag, pp. 27–91, doi:10.1007/978-3-642-18023-1_2.
  17. A. van Deursen, J. Heering & P. Klint (1996): Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing 5. World Scientific.
  18. J. Goguen (1979): Some design principles and theory for OBJ-0, a language for expressing and executing algebraic specifications of programs. In: Mathematical Studies of Information Processing, LNCS 75, pp. 425–473, doi:10.1007/3-540-09541-1_36.
  19. J. Heering, P.R.H. Hendriks, P. Klint & J. Rekers (1989): The syntax definition formalism SDF - reference manual. SIGPLAN Notices 24(11), pp. 43–75, doi:10.1145/71605.71607.
  20. M. Hills, P. Klint & J.J. Vinju (2011): RLSRunner: Linking Rascal with K for Program Analysis. In: Proceedings of SLE'11, LNCS. Springer-Verlag. To Appear.
  21. M. Hills & G. Rosu (2010): A Rewriting Logic Semantics Approach To Modular Program Analysis. In: Proceedings of RTA'10, Leibniz International Proceedings in Informatics 6. Schloss Dagstuhl - Leibniz Center of Informatics, pp. 151 – 160, doi:10.4230/LIPIcs.RTA.2010.151.
  22. C.M. Hoffmann & M.J. O'Donnell (1982): Programming with Equations. ACM Transactions on Programming Languages and Systems 4(1), pp. 83–112, doi:10.1145/357153.357158.
  23. R.C. Holt (2008): Grokking Software Architecture. In: Proceedings of WCRE'08. IEEE, pp. 5–14, doi:10.1109/WCRE.2008.34.
  24. P. Klint (1993): A Meta-Environment for Generating Programming Environments. ACM Transactions on Software Engineering and Methodology 2(2), pp. 176–201, doi:10.1145/151257.151260.
  25. P. Klint (2008): Using Rscript for Software Analysis. In: Working Session on Query Technologies and Applications for Program Comprehension (QTAPC 2008).
  26. P. Klint, T. van der Storm & J.J. Vinju (2009): RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In: Proceedings of SCAM'09. IEEE, pp. 168–177, doi:10.1109/SCAM.2009.28.
  27. P. Klint, T. van der Storm & J.J. Vinju (2011): EASY Meta-programming with Rascal. In: Post-Proceedings of GTTSE'09, LNCS 6491. Springer-Verlag, pp. 222–289, doi:10.1007/978-3-642-18023-1_6.
  28. J. Meseguer (1992): Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), pp. 73–155, doi:10.1016/0304-3975(92)90182-F.
  29. P.W. O'Hearn, J.C. Reynolds & H. Yang (2001): Local Reasoning about Programs that Alter Data Structures. In: Proceedings of CSL'01, LNCS 2142. Springer-Verlag, pp. 1–19, doi:10.1007/3-540-44802-0_1.
  30. T. Parr & K.S. Fisher (2011): LL(*): The Foundation of the ANTLR Parser Generator. In: Proceedings of PLDI'11. ACM Press, pp. 425–436, doi:10.1145/1993498.1993548.
  31. G. Rosu, C. Ellison & W. Schulte (2011): Matching Logic: An Alternative to Hoare/Floyd Logic. In: Proceedings of AMAST'10, LNCS 6486. Springer-Verlag, pp. 142–162, doi:10.1007/978-3-642-17796-5_9.
  32. G. Rosu & T.F. Serbănută (2010): An Overview of the K Semantic Framework. Journal of Logic and Algebraic Programming 79(6), pp. 397–434, doi:10.1016/j.jlap.2010.03.012.
  33. E. Visser (1997): Syntax Definition for Language Prototyping. University of Amsterdam.
  34. E. Visser (2004): Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in StrategoXT-0.9. In: Domain-Specific Program Generation, LNCS 3016. Spinger-Verlag, pp. 216–238, doi:10.1007/978-3-540-25935-0_13.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org