References

1. Happy: The parser generator for Haskell. https://www.haskell.org/happy/.
2. Haskell. https://www.haskell.org/.
3. Matthias Felleisen, Robert B. Findler & Matthew Flatt (2009): Semantics Engineering with PLT Redex. MIT Press, doi:10.1007/978-1-4612-6228-2.
4. Etienne M. Gagnon & Laurie J. Hendren (1998): SableCC, an Object-Oriented Compiler Framework. In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA. IEEE Computer Society, pp. 140–154, doi:10.1109/TOOLS.1998.711009.
5. Michael J. C. Gordon (1979): The denotational description of programming languages - an introduction. Springer, doi:10.1007/978-1-4612-6228-2.
6. Pieter H. Hartel (1999): LETOS – A Lightweight Execution Tool for Operational Semantics. Declarative Systems and Software Engineering Group, doi:10.1002/(SICI)1097-024X(19991225)29:15<1379::AID-SPE286>3.0.CO;2-V. Imported from DIES.
7. Hans Hüttel (2010): Transitions and Trees - An Introduction to Structural Operational Semantics. Cambridge University Press, doi:10.1017/CBO9780511840449.
8. Gilles Kahn (1987): Natural Semantics. In: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings, pp. 22–39, doi:10.1007/BFb0039592.
9. John R. Levine, Tony Mason & Doug Brown (1992): Lex & Yacc (2nd Ed.). O’Reilly & Associates, Inc., USA.
10. Jan H. F. Meyer & Ray Land (2003): Threshold concepts and troublesome knowledge: linkages to ways of thinking and practicing. In: In C. Rust (Ed.), Improving. Learning Development, Oxford.
11. Yaron Minsky, Anil Madhavapeddy & Jason Hickey (2013): Real World OCaml - Functional Programming for the Masses. Available at http://shop.oreilly.com/product/0636920024743.do#tab_04_2.
12. Ulf Norell (2009): Dependently Typed Programming in Agda, pp. 230–266. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-642-04652-0_5.
13. Terence Parr (2013): The Definitive ANTLR 4 Reference, 2 edition. Pragmatic Bookshelf, Raleigh, NC.
14. Mikael Pettersson (1994): RML - A New Language and Implementation for Natural Semantics. In: Manuel V. Hermenegildo & Jaan Penjam: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, Lecture Notes in Computer Science 844. Springer, pp. 117–131, doi:10.1007/3-540-58402-1_10.
15. Gordon D. Plotkin (2004): A structural approach to operational semantics. J. Log. Algebraic Methods Program. 60-61, pp. 17–139, doi:10.1016/j.jlap.2004.05.001.
16. François Pottier & Yann Régis-Gianas: Menhir. http://gallium.inria.fr/~fpottier/menhir/.
17. Traian-Florin Serbanuta, Grigore Rosu & José Meseguer (2009): A rewriting logic approach to operational semantics. Inf. Comput. 207(2), pp. 305–340, doi:10.1016/j.ic.2008.03.026.
18. Alberto Verdejo & Narciso Martí-Oliet (2006): Executable structural operational semantics in Maude. The Journal of Logic and Algebraic Programming 67(1), pp. 226–293, doi:10.1016/j.jlap.2005.09.008. Algebraic Specification.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org