Master ST Home
Center ST Home
FAQ
Contact
Brochure
Introduction
Area
Center
Curriculum
Pre-master
Supervision
Thesis Projects
Career
International Exchange
People
Students
Staff
Coordinators
Courses
FPLC
|
SWE
DOS
|
SWS
CCO
|
SWA
APA
|
AFP
|
DBA
PV
|
GP
Seminars
DTP
|
TBPA
ACC
|
NO
DBA
Other Activities
Literature Study
Colloquium
Experimentation Project
Thesis project
How To
Electronic Library
?
Research Talk
Use TeX
Formulate Effectively
CommonMistakes
(constr)
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Implementation Of Programming Languages Notes
Master
----+++ Description IPT focusses on the translation of programs to their executable equivalent. However, this is considered to be a special case of a more general problem "Syntax Directed Translation" where the calculation of some value is driven by text complying to some syntax. The special case of program compilation also requires the coverage of specific topics related to program compilation, such as code generation for a machine model. Type checking and inferencing is also covered but this is also seen as a special case of global analysis. ----+++ Topics * Compilation and interpretation * Usage of parsercombinators for writing compilers * Compositional programs and Attribute Grammars * Stackmachines and the mapping of language constructs to a stackmachine * Static analysis: scope, binding, type * Type checking and type inference ----+++ Material * Lecture notes * http://www.cs.uu.nl/docs/vakken/ipt ----+++ Dependencies * Requires * GrammaticasEnOntleden ----+++ Lecturer * Main.AtzeDijkstra ----+++ History Evolved from * CompilerBouw (long ago) * Evolved as part of the a series of courses: FunctionalProgramming, GrammaticasEnOntleden, ... ----+++ Discussion