You are here:
(27 Nov 2007,
----+++ 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
ore topic actions
Topic revision: r5 - 27 Nov 2007,
Master ST Home
Center ST Home
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?