Coco/R is a compiler generator, which takes an attributed grammar of a source language and generates a scanner and a parser for this language. Coco/R is open source software (http://www.ssw.uni-linz.ac.at/Research/Projects/Coco/). There are versions for C#, Java, C++, Delphi, Modula-2, Oberon and other languages. We show how to use Coco/R to generate a compiler for a simple programming language under .NET.

Coco/R is a compiler generator, which takes an attributed grammar of a source language and generates a scanner and a parser for this language. Coco/R is open source software (http://www.ssw.uni-linz.ac.at/Research/Projects/Coco/). There are versions for C#, Java, C++, Delphi, Modula-2, Oberon and other languages. We show how to use Coco/R to generate a compiler for a simple programming language under .NET.

This talk will cover advanced aspects of the design of managed execution environments and languages, using the .NET Common Language Runtime and the F# programming language as motivating examples. The changing shape of the modern compilation hierarchy will be considered, and we will assess the growing role of install-time compilation along with versioning and language considerations. Various tradeoffs in intermediary language (IL) design will be discussed, using the design of Generics in the .NET Common IL as an example. The programming language F# will be presented as an example of how high-level ILs enable high-quality language implementations with expressive type systems while still supporting interoperability.

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. In this lecture we introduce a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C# code. Such prototyping process is automated by means of a specific tool developed in Haskell.