Invasive software composition (ISC) composes software components by program
transformation. Standard composition treats components as immutable blackboxes and …

We report about it joint project of the universities at Karlsruhe, Kiel and Ulm on how to get
correct compilers for realistic programming languages. Arguing about compiler correctness …

Objektorientierung ist eine der wesentlichen Techniken zur Realisierung von
Softwaresystemen. Die unbestrittenen Vorteile dieses Ansatzes bei der Modellierung und …

Dieses Lehrbuch bietet eine fundierte Einführung in die grundlegenden Begriffe und
Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung …

This documentation presents Firm, an intermediate representation (IR) presented first by
Armbruster and von Roques in [AvR96], subsequently refined and extended by Trapp …

Previously, we introduced the idea of agile compiler development, ie, starting from an initial
compiler for the most simple program of a language and extending it in small versions, each …

This paper describes how program-checking can be used to establish the correctness of a
compiler front-end which was generated by unverified compiler construction tools. The basic …

A verifying compiler ensures that the compiled code is always correct but the compiler may
also terminate with an error mesage and then fails to generate code. We argue that with …

This paper describes how program-checking can be used to signi cantly reduce the amount
of veri cation work to establish the implementation correctness of software systems which …

In diesem Beitrag wird eine Methode zur Konstruktion robuster Klassenhierarchien
vorgestellt. Hierzu wird aus den Überlegungen bezüglich der polymorphen Verwendung …