Termersetzungssysteme: Grundlagen Der Prototyp-Generierung Algebraischer Spezifikationen [German]

by Klaus Drosten

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...

• Format: Paperback
• Language: German
• ISBN: 3540511725
• ISBN13: 9783540511724
• Release Date: April 1989
• Publisher: Springer
• Length: 151 Pages
• Weight: 0.60 lbs.
• Dimensions: 0.3" x 6.7" x 9.6"