Theoretical aspects of semantics-based language implementation
Subtitle: Teoretiske aspekter af semantik-baseret sprog-implementation
By: Flemming Nielson
Contributors: Aarhus universitet
Series: DAIMI. Aarhus University. Computer Science Dept -- PB-329
Publisher: Aarhus University, Computer Science Dept.
Published: 1990
Place of publication: Aarhus, Denmark
Language: eng; dan
Translated from: dan
Number of pages: 65
Subjects: Programming languages (Electronic computers)
Other titles: Teoretiske aspekter af semantik-baseret sprog-implementation.
Description: Abstract: "The research summarised here concerns theoretical aspects involved in the implementation of programming languages directly from a description of their semantics. This involves a study of the subtasks abstract interpretation (a framework for program analysis), code generation and program transformation and the main aim has been to ensure the correctness of these subtasks."
Notes: Abstracts in English and Danish.

"August 1990."

Thesis (doctoral)--Aarhus University, 1990.

Includes bibliographical references.

Supported in part by the Danish Natural Science Research Council and a fellowship from the Technical University of Denmark.