Complete and partial redex trails of functional computations

Redex trails are histories of functional computations by graph reduction; their main application is fault-tracing. A prototype implementation of a tracer based on redex trails [8] demonstrated the promise of the technique, but was limited in two respects: (1) trails did not record every reduction, o...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Sparud, Jan, Runciman, Colin
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Function Application Functional Language Garbage Collection Graph Reduction Large Application Programming languages Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!