M. J. O'Donnell

Computing in Systems Described by Equations

• Broschiertes Buch

Produktbeschreibung

I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.

Produktdetails

• Lecture Notes in Computer Science 58
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-08531-7
• 1977.
• Seitenzahl: 132
• Erscheinungstermin: 1. Dezember 1977
• Englisch
• Abmessung: 235mm x 155mm x 8mm
• Gewicht: 195g
• ISBN-13: 9783540085317
• ISBN-10: 3540085319
• Artikelnr.: 23147885

Inhaltsangabe

I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.