A theoretical framework for reasoning about program construction based on extensions of rewrite systems - Loria-Saenz, Carlos A. (1993)
Kaiserslautern, Univ., Diss., 1993
Keywords: Logische Programmierung; Semantik; Algebraische Spezifikation; Funktionale Programmierung; Termersetzungssystem; Algorithmus; Programmsynthese; Deduktion; Automatische Programmierung; Hochschulschrift