| |
| | The Structure of Programming Languages: Syntax and Semantics |
 | | To find a theory of abstract syntax widely applicable to programming languages, especially for variable binding and structured types. |
 | | The main goal of the proposed research is to achieve an effective theory of programming languages, particularly, their syntax and semantics: both operational and denotational. |
 | | The proposed research is: foundational, aiming at a mathematical framework for formal methods and, more generally, applied formalisms in software engineering; both general and particular, ranging from general accounts of syntax and semantics to investigations of individual programming phenomena; and, to achieve effectiveness, strongly oriented to formalisms. |
| www.lfcs.inf.ed.ac.uk /research/semantics/sas.html (300 words) |
|