On the Computational Complexity of Program Scheme Equivalence

The computatiional complexity of several decidable problems about program schemes, recursion schemes, and simple programming languages is considered. The strong equivalence, weak equivalence, containment, halting, and divergence problems for the single variable program schemes and the linear monadic...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	SIAM journal on computing 1980-05, Vol.9 (2), p.396-416
Hauptverfasser:	Hunt III, H. B., Constable, R. L., Sahni, S.
Format:	Artikel
Sprache:	eng
Schlagworte:	Boolean Computer science Optimization techniques Programming languages
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!