Skip to main content

Generische Funktionen und datengesteuerte Programmierung

  • Chapter
LISP

Part of the book series: Studienreihe Informatik ((STUDIENREIHE))

  • 94 Accesses

Zusammenfassung

An einem Anwendungsbeispiel, der Implementierung eines Programmsystems für Arithmetik, wollen wir uns vor Augen führen, inwiefern die Einführung einer weiteren Abstraktionsstufe für Funktionen sinnvoll ist. Die Fragestellung, der wir uns zuwenden wollen, tritt immer dann auf, wenn in einem Programmsystem Objekte verarbeitet werden sollen, die zwar verschiedene Typen haben, jedoch unter einen gemeinsamen Oberbegriff fallen und damit eine Reihe von Ähnlichkeiten aufweisen. So ist die Situation, wenn wir Arithmetik treiben wollen: Wir haben bisher Integer- und Realzahlen kennengelernt und sogar (Kapitel 6) einen neuen Typ, die rationalen Zahlen, hinzugefügt. Damit müssen wir schon vier Arten von arithmetischen Funktionen unterscheiden, und mit jedem neu hinzukommenden Typ von Zahlen — z. B. komplexen Zahlen — wird die Lage unübersichtlicher.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.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

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturhinweise

  1. Formelmanipulationssysteme haben sich mit dem Problem der verwandten (mathematischen) Strukturen auseinanderzusetzen. Siehe dazu die Arbeit von Jenks und Troger (1981).

    Google Scholar 

  2. In Moon, Weinreb (1980) ist das Flavorsystem der MIT-LISP-Maschine beschrieben. Di Primio (1983) beschreibt Grundzüge der Implementierung einer vereinfachten Variante für gängige LISP-Systeme.Das System wurde tatsächlich in TLC-LISP implementiert. Eine umfassende Darstellung enthält Christaller und di Primio (1983).

    Google Scholar 

  3. Bobrow, Stefik (1981) beschreiben die Implementation eines an Smalltalk angelehnten Systems LOOPS.

    Google Scholar 

  4. Neben Model (1979) hat auch Sandewall (1978) einen ähnlichen Überblick über die Grundoperationen in LISP-Systemen gegeben.

    Google Scholar 

  5. Vereinfachungs-und Beweisregeln, die den in 10.6 gegebenen Beispielen sehr verwandt sind, wurden in einem Programmverifikationssystem benutzt: Suzuki (1974), Suzuki (1976).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Stoyan, H., Görz, G. (1984). Generische Funktionen und datengesteuerte Programmierung. In: LISP. Studienreihe Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71455-9_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-71455-9_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16914-7

  • Online ISBN: 978-3-642-71455-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics