Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Termersetzungssysteme

Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

  • Book
  • © 1989

Overview

Authors:
  1. Klaus Drosten

    1. Gesellschaft für Mathematik und Datenverarbeitung (F4), Darmstadt, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
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 (6 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Einführung

    • Klaus Drosten
    Pages 1-16

  3. Grundbegriffe

    • Klaus Drosten
    Pages 17-21

  4. Termersetzungssysteme mit eingeschränkten Variablen

    • Klaus Drosten
    Pages 22-95

  5. Übersetzung von Termersetzungssystemen in PROLOG-Programme

    • Klaus Drosten
    Pages 96-120

  6. Parametrisierung

    • Klaus Drosten
    Pages 121-141

  7. Schlußbemerkungen

    • Klaus Drosten
    Pages 142-143

  8. Back Matter

    Pages 144-152
    Download chapter PDF
Back to top

Keywords

About this book

Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zurück und wurde besonders populär in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten Arbeiten über die Spezifikation abstrakter Datentypen veröffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunächst unabhängig voneinander. Erst in jüngster Zeit wurde mit Erfolg versucht, beide Ansätze in einem gemeinsamen Kalkül zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunächst einen Überblick über die Grundlagen der Ausführung algebraischer Spezifikationen sowie eine Zusammenfassung der benötigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Außerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme übersetzen und mit deren Hilfe ausführen lassen. Zum besseren Verständnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich.

Authors and Affiliations

  • Gesellschaft für Mathematik und Datenverarbeitung (F4), Darmstadt, Deutschland

    Klaus Drosten

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation