Advertisement

Semantik von Programmiersprachen

  • Elfriede Fehr

Part of the Studienreihe Informatik book series (STUDIENREIHE)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Elfriede Fehr
    Pages 1-8
  3. Elfriede Fehr
    Pages 56-96
  4. Elfriede Fehr
    Pages 151-176
  5. Back Matter
    Pages 193-204

About this book

Introduction

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.

Keywords

Compiler Formale Definitionen und Theorie Formale Semantik Funktionale Programmierung LISP Mantis Pascal Programmieren Programmiersprache Programmspezifikation und -verifikation mathematische Grundlagen

Authors and affiliations

  • Elfriede Fehr
    • 1
  1. 1.Institut für InformatikFreie Universität BerlinBerlin 31Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-70271-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15163-0
  • Online ISBN 978-3-642-70271-6
  • Series Print ISSN 1431-8792
  • Buy this book on publisher's site
Industry Sectors
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Engineering