Skip to main content
SpringerLink
Log in

GI — 11. Jahrestagung

In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings

  • Conference proceedings
  • © 1981

Overview

Editors:
  1. Wilfried Brauer

    1. Fachbereich Informatik, Universität Hamburg, Hamburg 13, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 53.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (61 papers)

  1. Front Matter

    Pages N2-XIV
    Download chapter PDF

  2. Semantik von Programmiersprachen

    1. Invariance of Approximative Semantics with Respect to Program Transformations

      • Robert Giegerich, Ulrich Möncke
      Pages 1-10

    2. Description of Parameterized Compiler Modules

      • Harald Ganzinger
      Pages 11-19

    3. Static-Scope-LISP: Zerlegung Eines Interpretierers in Übersetzer und Laufzeitsystem

      • Henner Kröger
      Pages 20-31

    4. Programs as Transformations of Algebraic Theories (Extended Abstract)

      • Harald Ganzinger
      Pages 32-40

    5. Relating Uniform and Nonuniform Models of Computation

      • Bernd Mahr, Dirk Siefkes
      Pages 41-48

    6. Semantikdefinition im Rahmen Eines Programmiersystemgenerators

      • Rolf Bahlke, Manfred Daniel, Thomas Letschert
      Pages 49-56

    7. Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT

      • Uwe Schmidt, Reinhard Völler
      Pages 57-64

    8. Hoare-Style Proof Systems and Formal Computations

      • Ernst-Rüdiger Olderog
      Pages 65-71

    9. A Characterization of Program Equivalence in Terms of Hoare’s Logic

      • J. A. Bergstra, J. Terlouw
      Pages 72-77

    10. Semantics of Distributed Processes Derived by Translation

      • Egidio Astesiano, Elena Zucca
      Pages 78-87

    11. A Proof System for Brinch Hansen’s Distributed Processes

      • M. Roncken, R. Gerth, W. P. de Roever
      Pages 88-95

    12. Implementations of abstract data types and their verification

      • Jacques Loeckx
      Pages 96-108

    13. GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract)

      • M. Broy, W. Dosch, B. Möller, M. Wirsing
      Pages 109-121

    14. An Order Semantics for Non-Deterministic Recursive Program Schemes

      • Axel Poigné
      Pages 122-129
Back to top

Keywords

Editors and Affiliations

  • Fachbereich Informatik, Universität Hamburg, Hamburg 13, Deutschland

    Wilfried Brauer

Bibliographic Information

  • Book Title: GI — 11. Jahrestagung

  • Book Subtitle: In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings

  • Editors: Wilfried Brauer

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-662-01089-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1981

  • Softcover ISBN: 978-3-540-10884-9Published: 01 October 1981

  • eBook ISBN: 978-3-662-01089-1Published: 17 April 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: XIV, 619

  • Number of Illustrations: 10 b/w illustrations

  • Topics: Theory of Computation, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation