Generic Language Technology
Course code: 2IS15
Time and location:
- Tuesday: 15:45-17:30 (7th and 8th hour) in Auditorium (quarter 1 and 2)
- Friday: 15:45-17:30 (7th and 8th hour) in Auditorium (only quarter 1)
Slides of the courses:
Running ASF+SDF Meta-Environment on svstud.win.tue.nl:
- via "/usr/local/bin/asfsdf-meta"
Downloading and installing the ASF+SDF Meta-Environment:
Before installing the Meta-Environment please read carefully the installation requirements.
There are several versions available via this download page. Please download
only version 2.0.3! The most efficient way is to use the binary
distribution for Linux.
The (k)ubuntu distribution of Linux is the most stable one
and ensure a smooth installation.
Windows and ASF+SDF Meta-Environment
Information on how to run the Meta-Environment under Windows can
be found here.
Manuals and papers:
- There is a general documentation page on the Meta-Environment:
- The manual of the formalism ASF+SDF can be downloaded as pdf or
is browsable as html.
- The manual of the formalism SDF can be downloaded as pdf or
is browsable as html.
- Documentation on disambiguation can be downloaded as pdf or is browsable as html.
- The logisolve document contains valuable information on how to write and structure larger ASF+SDF specifications. Although this document
is already written in 2004 it is still very up-to-date.
- How to use the Meta-Environment is animated in a guided tour presentation.
Background paper on traversal functions.
Background paper on compilation of ASF specifications.
Background paper on annotated terms.
Background paper on SGLR and disambiguation.
Background paper on Semantic disambiguation.
Background information on parsing can be found in the book "Compilers" by Aho, Sethi and Ullman, Chapters 3 and 4 or in Chapters 3 and 4 of the course notes by Christopher Whyley of University of Wales Swansea.
Material to study for the examination:
- All slides on:
- Generic Language Technology
- ASF+SDF
- Programming Language Design Concepts
- Meta models and model transformations
- Basic Technology
- The manual of the formalism ASF+SDF (pdf).
- The manual of the formalism SDF (pdf).
- Chapters 1 to 10 from Programming Language Design Concepts by David A. Watt.
- Background paper on traversal functions.
- Background paper on SGLR and disambiguation.
- Background paper on Semantic disambiguation.
- Background information on parsing can be found in the book "Compilers" by Aho, Sethi and Ullman, Chapters 3 and 4 or in Chapters 3 and 4 of the course notes by Christopher Whyley of University of Wales Swansea.
Final mark of GLT
The exam of GLT counts for 2/3 and the practical exercises count for 1/3, both with a minimum of 5.5.
Examples of written exams:
Exercises
It is strongly recommended to work in couples when making this exercises.
Given the fact that not everybody is familiar with Unix/Linux it is good
idea to have a Linux and non-Linux user together in one couple.
In order to be able to make the exercises you must install
the Meta-Environment first, see above.
Before you start with this exercise, it may be helpful to do the guided tour
in order to get acquinted with the Meta-Environment.