Deutsche Version
Course on Virtual Machines in Compiler Construction, Summer 2002
People
Organisation
A lecture will be held every Tuesday, 2-4 pm, beginning on
April, 16th 2002. The two lecturers will take turns in giving
the lecture, which will be broadcasted via internet and recorded by
means of the TeleTeachingTool
TTT.
Both in Saarbrücken and in Trier, we offer weekly tutorials.
Participants from other universities are advised by
the tutors Peter Ziewer and Jörg Bauer via phone or email.
Participation for ULI-students
(unless from SB or TR) requires application on the
ULI-homepage.
Content
In this course, we deal with design of and code generation for
virtual machines. In compiler construction, virtual machines are
frequently used in order to guarantee portability of
generated code. A famous example of virtual machines is the well-known
Java Virtual Machine - JVM.
We discuss in detail abstract machines for each of the paradigms
of imperative, functional and logical programming languages.
To improve learning, we make use of the
GANIMAM
tool, which allows for creation and visualization of abstract machines, as
well as for incorporating compilers.
Another such tool is the VAM, which has been developped by Peter Ziewer in Trier. Further information can be found on his
homepage.
Literature
Chapters from
- S. Diehl, T. Kunze. Visualizing principles of abstract machines by generating interactive animations. In FGCS - Future Generation Computer Systems, Vol. 16, pp. 831-839, 2000.
- R. Wilhelm, D. Maurer. Compiler Design. Addison-Wesley Publishers, Ltd., 1995
Slides
Assignments and Tutorials
The fourth sheet is due May, 27th. There will be no tutorial on May, 24th and no lecture on May 21st.
Tutors
SB: Jörg Bauer
TR: Peter Ziewer