Programmiersprachen

4. Fachtagung der GI Erlangen, 8.–10. März 1976

  • Hans-Jürgen Schneider
  • Manfred Nagl

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 1)

Table of contents

  1. Front Matter
    Pages I-VI
  2. Semantik und Verifikation/Semantics and Verification

  3. Echtzeitprogrammierung/Realtime Programming

  4. Programmiertechnik/Programming Methodology

    1. Franklin L. DeRemer, Hans H. Kron
      Pages 80-89
  5. Implementierungssprachen/Implementation Languages

  6. Grundlegende Konzepte/Foundational Concepts

  7. Programmiersprachen für Spezielle Anwendungen/Programming Languages for Special Applications

    1. Hans-Werner Brügmann, Alfons Rudert, Heinz Lehr
      Pages 156-165
    2. Eberhard Bertsch, Angelika Mueller-von Brochowski
      Pages 166-174
  8. Formale Sprachen und Syntaxanalyse/Formal Languages and Syntax Analysis

About these proceedings

Keywords

Analysis Computer Programmieren Programmiersprache Programmiertechnik Programmierung Steuerung Verifikation formale Sprache

Editors and affiliations

  • Hans-Jürgen Schneider
    • 1
  • Manfred Nagl
    • 1
  1. 1.Institut für Mathematische Maschinen und Datenverarbeitung(II)Universität Erlangen-NürnbergErlangenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-66319-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1976
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07619-3
  • Online ISBN 978-3-642-66319-2
  • Series Print ISSN 0343-3005
  • About this book