Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    The Meaning of Adaptation: Mastering the Unforeseen?

    This short paper gives an introduction to a panel held as part of the track on ‘Rigorous Engineering of Collective Adaptive Systems’ at ISOLA 2018. The discussion was structured on the basis of twenty question...

    Stefan Jähnichen, Rocco De Nicola in Leveraging Applications of Formal Methods,… (2018)

  2. No Access

    Chapter and Conference Paper

    Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition

    A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to new requirements. Rigorous engineering requires appropr...

    Rocco De Nicola, Stefan Jähnichen in Leveraging Applications of Formal Methods,… (2018)

  3. No Access

    Chapter and Conference Paper

    Modelling the Transition to Distributed Ledgers

    The emergence of Distributed Ledger Technologies and Cryptocurrencies impacts on how transactions of various assets between parties in highly dynamical settings – such as the Internet of Things or Smart Cities...

    Jan Sürmeli, Stefan Jähnichen in Leveraging Applications of Formal Methods,… (2018)

  4. No Access

    Book

    Übersetzerbau

    Skriptum für Informatiker im Hauptstudium

    Stefan Jähnichen, Christoph Oeters, Bruce Willis (1978)

  5. No Access

    Chapter

    Codeerzeugung

    Aufgabe der Codeerzeugung ist, aus der internen Zwischensprache, die als Ergebnis der Analyse entsteht, ein dem Quellprogramm äquivalentes ausführbares Programm (Objektprogramm) zu erzeugen.

    Stefan Jähnichen, Christoph Oeters, Bruce Willis in Übersetzerbau (1978)

  6. No Access

    Chapter

    Einleitung

    Das vorliegende Skript Übersetzerbau ist die Grundlage für eine 2-semestrige Lehrveranstaltung Übersetzerbau. Ziel dieser Lehrveranstaltung ist die Vermittlung der zur Erstellung von Übersetzern notwendigen Te...

    Stefan Jähnichen, Christoph Oeters, Bruce Willis in Übersetzerbau (1978)

  7. No Access

    Chapter

    Zwischensprachen

    Jeder Übersetzer hat die Aufgabe, aus einer Eingabe eine äquivalente, meist maschinennähere, Ausgabe zu erzeugen. Besteht ein Übersetzer aus mehreren Pässen, die ihrerseits auch wieder Übersetzer darstellen, s...

    Stefan Jähnichen, Christoph Oeters, Bruce Willis in Übersetzerbau (1978)

  8. No Access

    Chapter

    Identifizierung

    Das vorkommen von Symbolen (Namen) in Programmiersprachen läßt sich in zwei Kategorien einteilen: Definitionen und Anwendungen (definition und application).

    Stefan Jähnichen, Christoph Oeters, Bruce Willis in Übersetzerbau (1978)

  9. No Access

    Chapter

    Optimierung

    Die Aufgabe eines Übersetzers ist die Erkennung eines Quell programms (Benutzerprogramm) und seine Übersetzung in ein äquivalentes Programm einer anderen Sprache. Dieses erzeugte Programm heißt dann äquivalent, w...

    Stefan Jähnichen, Christoph Oeters, Bruce Willis in Übersetzerbau (1978)

  10. No Access

    Chapter

    Synthese

    Bisher sind die Erkennungsroutinen (recognizer), die eine bestimmte Eingabesprache analysieren, und die möglichen Formen einer Zwischensprache zur Informationsübergabe zwischen Compilerpässen betrachtet worden...

    Stefan Jähnichen, Christoph Oeters, Bruce Willis in Übersetzerbau (1978)

  11. No Access

    Chapter

    Speicherverwaltung

    Der von einem Compiler erzeugte Code basiert immer auf einem bestimmten Daten-behandlungs- und Reservierungsmodell, das natürlich stark von der zu implementierenden Sprache abhängig ist. In einer begriffreiche...

    Stefan Jähnichen, Christoph Oeters, Bruce Willis in Übersetzerbau (1978)

  12. No Access

    Chapter

    Analyse

    Eine Sprache L durch eine Grammatik G. Diese Grammatik legt fest, wie aus den Symbolen der Sprache korrekte Sätze gebildet werden.

    Stefan Jähnichen, Christoph Oeters, Bruce Willis in Übersetzerbau (1978)