References

  1. John W. Backus (1959): The Syntax and Semantics of the Proposed International Algebraic Language of the Zurich ACM-GAMM Conference. In: Proc. Int. Conf. Information Processing. UNESCO, pp. 125–132.
  2. H. J. S. Basten, J. van den Bos, M. A. Hills, P. Klint, A. W. Lankamp, B. Lisser, A. J. van der Ploeg, T. van der Storm & J. J. Vinju (2015): Modular Language Implementation in Rascal – Experience Report. Science of Computer Programming 114, pp. 7–19, doi:10.1016/j.scico.2015.11.003.
  3. Fabricio Chalub & Christiano Braga (2007): Maude MSOS Tool. In: Proc. Int. Work. Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science 176. Elsevier Science Publishers B. V., pp. 133–146, doi:10.1016/j.entcs.2007.06.012.
  4. Alistair Cockburn (2007): Agile Software Development: The Cooperative Game, 2nd edition. Pearson Education.
  5. Olivier Dubuisson (2000): ASN.1 – Communication between Heterogeneous Systems. OSS Nokalva. Available at http://www.oss.com/asn1/dubuisson.html. Translated from French by Philippe Fouquart.
  6. Matthias Felleisen, Robert Bruce Findler & Matthew Flatt (2009): Semantics Engineering with PLT Redex. The MIT Press.
  7. Matthew Flatt & PLT (2010): Reference: Racket. PLT-TR 2010-1. PLT Design Inc.. https://racket-lang.org/tr1/.
  8. Jean van Heijenoort (2002): From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, chapter Peano (1889). The principles of arithmetic, presented by a new method, Source Books in the History of the Sciences. Harvard University Press. A translation and excerpt of Peano's 1889 paper "Arithmetices principia, nova methodo exposita".
  9. Jean-Marc Jézéquel, Olivier Barais & Franck Fleurey (2011): Summer School on Generative and Transformational Techniques in Software Engineering, chapter Model Driven Language Engineering with Kermeta, pp. 201–221, Lecture Notes in Computer Science 6491. Springer Berlin Heidelberg, doi:10.1007/978-3-642-18023-1_5.
  10. Jean-Marc Jézéquel, Benoit Combemale, Olivier Barais, Martin Monperrus & François Fouquet (2013): Mashup of metalanguages and its implementation in the Kermeta language workbench. Software & Systems Modeling 14(2), pp. 905–920, doi:10.1007/s10270-013-0354-4.
  11. Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 6, Telecommunications and information exchange between systems (2015): Information technology – Abstract Syntax Notation One (ASN.1): Specification of basic notation. International Standard 8824-1. ISO/IEC. ISO/IEC version of ITU-T X.680 (08/2015).
  12. JSR-133 expert group (2004): JSR-133 JavaMemory Model and Thread Specification Revision. Java Specification Request (JSR) 133. Sun Microsystems, Inc.. https://jcp.org/en/jsr/detail?id=133.
  13. Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt & Robert Bruce Findler (2012): Run Your Research: On the Effectiveness of Lightweight Mechanization. In: Proc. Symp. Principles of Programming Languages, SIGPLAN Not. 47. ACM, New York, NY, USA, pp. 285–296, doi:10.1145/2103656.2103691.
  14. P. Klint (2009): Tribute to a great Meta-Technologist: from Centaur to The Meta-Environment. In: Y. Bertot, G. Huet, J.-J. Levy & G. Plotkin: From Semantics to Computer Science, Essays in Honour of Gilles Kahn. Cambridge University Press, pp. 235–264, doi:10.1017/CBO9780511770524.012.
  15. P. Klint, J. J. Vinju & M. A. Hills (2011): RLSRunner: Linking Rascal with K for Program Analysis. In: Proc. Int. Conf. Software Language Engineering. Springer, doi:10.1007/978-3-642-28830-2_19.
  16. Paul Klint, Tijs van der Storm & Jurgen Vinju (2009): RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In: Proc. Int. Working Conf. Source Code Analysis and Manipulation. IEEE Computer Society, pp. 168–177, doi:10.1109/SCAM.2009.28.
  17. Donald E. Knuth (1964): Backus Normal Form vs. Backus Naur Form. Commun. ACM 7(12), pp. 735–736, doi:10.1145/355588.365140.
  18. Gurvan Le Guernic & José A. Galindo (2016): Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. Research report 8967. Inria. https://hal.inria.fr/hal-01385541v1.
  19. Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge & Peter Sewell (2014): Lem: Reusable Engineering of Real-world Semantics. In: Proc. Int. Conf. Functional Programming, SIGPLAN Not. 49. ACM, pp. 175–188, doi:10.1145/2692915.2628143.
  20. Grigore Roşu & Traian Florin Şerbănuţă (2010): An Overview of the K Semantic Framework. The Journal of Logic and Algebraic Programming 79(6), pp. 397–434, doi:10.1016/j.jlap.2010.03.012.
  21. Grigore Ro\begingroupłet [Pleaseinsert\PrerenderUnicodeşintopreamble]u & Traian Florin \begingroupłet [Pleaseinsert\PrerenderUnicodeŞintopreamble]erb\begingroupłet [Pleaseinsert\PrerenderUnicodeăintopreamble]nu\begingroupłet [Pleaseinsert\PrerenderUnicodeţintopreamble]\begingroupłet [Pleaseinsert\PrerenderUnicodeăintopreamble] (2014): K Overview and SIMPLE Case Study. In: Proc. Int. Work. K Framework and its Applications (K 2011), Electronic Notes in Theoretical Computer Science 304, pp. 3–56, doi:10.1016/j.entcs.2014.05.002.
  22. David A. Schmidt (1996): Programming Language Semantics. ACM Computing Surveys 28(1), doi:10.1145/234313.234419.
  23. Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar & Rok Strniša (2010): Ott: Effective Tool Support for the Working Semanticist. J. Functional Programming 20(1), pp. 71–122, doi:10.1017/S0956796809990293.
  24. Cathleen Shamieh (2014): Continuous Engineering For Dummies. IBM Limited Edition. John Wiley & Sons, Inc.
  25. T. van der Storm & J. J. Vinju (2008): Using the Meta-Environment for Domain Specific Language Engineering. Technical Report SEN-R0805. CWI Software Engineering.
  26. Traian Florin \begingroupłet [Pleaseinsert\PrerenderUnicodeŞintopreamble]erb\begingroupłet [Pleaseinsert\PrerenderUnicodeăintopreamble]nu\begingroupłet [Pleaseinsert\PrerenderUnicodeţintopreamble]\begingroupłet [Pleaseinsert\PrerenderUnicodeăintopreamble], Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu & Grigore Ro\begingroupłet [Pleaseinsert\PrerenderUnicodeşintopreamble]u (2014): The K Primer (version 3.3). Electronic Notes in Theoretical Computer Science 304, pp. 57–80, doi:10.1016/j.entcs.2014.05.003. Proc. Int. Work. K Framework and its Applications (K 2011).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org