Advertisement

Eine Anwendung: Smoothsort

  • Ulrich Furbach
Part of the Artificial Intelligence / Künstliche Intelligenz book series (KI)

Zusammenfassung

In diesem Abschnitt soll die Lösung einer anspruchsvolleren Programmieraufgabe in FHCL skizziert werden. Dabei soll jedoch nicht nur ein Programmierbeispiel besprochen werden, vielmehr steht das Aufzeigen einer weiteren Verwendungsmöglichkeit von kombinierten logischen und funktionalen Programmiersprachen im Vordergrund. Es zeigt sich nämlich, daß die systematische transformationeile Herleitung von Programmen aus ihrer Spezifikation durch FHCL auf natürliche Weise unterstützt werden kann.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig 1991

Authors and Affiliations

  • Ulrich Furbach

There are no affiliations available

Personalised recommendations