Reusable Components for Lightweight Mechanisation of Programming Languages

1. Abramsky, S., Ong, C.-H.: Full Abstraction in the Lazy Lambda Calculus. Inf. & Comp. 105(2), 159–267 (1993)

   Article  MathSciNet  MATH  Google Scholar 

2. Axelsson, E.: A Generic Abstract Syntax Model for Embedded Languages. In: Proc. 17^th ACM SIGPLAN Int. Conf. Func. Prog., pp. 323–334. ACM, New York (2012)

   Google Scholar 

3. Bahr, P., Hvitved, T.: Parametric Compositional Data Types. In: Chapman, J., Levy, P.B. (eds.) Proc. 4^th W. Math. Struct. Funct. Prog., February 2012. Elec. Proc. Theo. Comp. Sci., vol. 76, pp. 3–24 (2012)

   Google Scholar 

4. Chalub, F., Braga, C.: Maude MSOS Tool. ENTCS 176(4), 133–146 (2007)

   Google Scholar 

5. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: The Maude 2.0 System. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76–87. Springer, Heidelberg (2003)

   Chapter  Google Scholar 

6. Danvy, O., Millikin, K., Munk, J., Zerny, I.: On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation. Theo. Comp. Sci. 435, 21–42 (2012)

   Article  MathSciNet  MATH  Google Scholar 

7. Dijkstra, A., Fokker, J., Swierstra, S.D.: The Architecture of the Utrecht Haskell Compiler. In: Proc. 2^nd ACM SIGPLAN Symp. on Haskell, pp. 93–104. ACM, New York (2009)

   Chapter  Google Scholar 

8. Ekman, T., Hedin, G.: The JastAdd Extensible Java Compiler. In: Proc. 22^nd ACM Int. Conf. Obj.-Oriented Prog. Sys. Lang. & Appl., pp. 1–18 (2007)

   Google Scholar 

9. Erdweg, S., Rieger, F., Rendel, T., Ostermann, K.: Layout-sensitive Language Extensibility with SugarHaskell. In: Voigtländer, J. (ed.) Proc. 5^th ACM SIGPLAN Symp. on Haskell, September 2012, pp. 149–160. ACM, New York (2012)

   Google Scholar 

10. Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex, pp. 1–502. MIT Press, Cambridge (2009)

    MATH  Google Scholar 

11. T. Florin Şerbănuţă, A. Arusoaie, D. Lazar, C. Ellison, D. Lucanu, and G. Roşu, The K Primer (version 2.5), K’11 (M. Hills, ed.), ENTCS, to appear

    Google Scholar 

12. Haeri, S.H.: Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness. In: Proc. Int. Conf. Theo. & Math. Found. Comp. Sci (TMFCS-10), pp. 143–150 (2010)

    Google Scholar 

13. Johnstone, A., Mosses, P.D., Scott, E.: An Agile Approach to Language Modelling and Development. Innovations in Sys. & Soft. Eng. 6, 145–153 (2010)

    Article  Google Scholar 

14. Kastens, U., Waite, M.W.: Modularity and Reusability in Attribute Grammars. Acta Informatica 31, 601–627 (1994)

    Article  MATH  Google Scholar 

15. Kats, L.C.L., Visser, E.: The Spoofax Language Workbench: Rules for Declarative Specification of Languages and IDEs. In: Proc. 25^th ACM Int. Conf. Obj.-Oriented Prog. Sys. Lang. & Appl., pp. 444–463. ACM, New York (2010)

    Google Scholar 

16. Klint, P., van der Storm, T., Vinju, J.: EASY meta-programming with rascal. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III. LNCS, vol. 6491, pp. 222–289. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

17. Launchbury, J.: A Natural Semantics for Lazy Evaluation. In: Proc. 20^th ACM SIGPLAN-SIGACT Symp. Princ. Prog. Lang., pp. 144–154. ACM, New York (1993)

    Google Scholar 

18. Loogen, R., Ortega-mallén, Y., Peña-marí, R.: Parallel Functional Programming in Eden. J. Func. Prog. 15(3), 431–475 (2005)

    Article  MATH  Google Scholar 

19. Lumpe, M.: Growing a language: The gLoo perspective. In: Pautasso, C., Tanter, É. (eds.) SC 2008. LNCS, vol. 4954, pp. 1–19. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

20. Mosses, P.D.: Theory and Practice of Action Semantics. In: Penczek, W., Szałas, A. (eds.) MFCS 1996. LNCS, vol. 1113, pp. 37–61. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

21. Mosses, P.D.: Modular Structural Operational Semantics. J. Logic & Alg. Prog. 60–61, 195–228 (2004)

    Article  MathSciNet  Google Scholar 

22. Nystrom, N., Clarkson, M.R., Myers, A.C.: Polyglot: An Extensible Compiler Framework for Java. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 138–152. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

23. Odersky, M., Zenger, M.: Scalable Component Abstractions. In: Proc. 20^th ACM Int. Conf. Obj.-Oriented Prog. Sys. Lang. & Appl., pp. 41–57. ACM, New York (2005)

    Google Scholar 

24. Sinot, F.-R.: Complete Laziness: a Natural Semantics. ENTCS 204, 129–145 (2008)

    MathSciNet  Google Scholar 

25. Sloane, A.: Lightweight Language Processing in Kiama. In: Gener. & Transform. Techs Soft. Eng. III, pp. 408–425 (2011)

    Chapter  Google Scholar 

26. Swierstra, W.: Data Types à la Carte. J. Func. Prog. 18(4), 423–436 (2008)

    MathSciNet  MATH  Google Scholar 

27. van Eekelen, M., de Mol, M.: Reflections on Type Theory, λ-Calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60\(^\mathnormal{th}\) Birthday, ch. Proving Lazy Folklore with Mixed Lazy/Strict Semantics, pp. 87–101, Radboud U. Nijmegen (2007)

    Google Scholar 

28. Van Wyk, E., Bodin, D., Gao, J., Krishnan, L.: Silver: an Extensible Attribute Grammar System. Sci. Comp. Prog. 75(1–2), 39–54 (2010)

    MATH  Google Scholar 

29. Wadler, P.: The Expression Problem, Java Genericity Mailing List (November 1998)

    Google Scholar 

Download references