An integrated framework for the diagnosis and correction of rule-based programs

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it is possible to debug a program and then correct it automatically. Our methodol...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 411; H. 47; S. 4055 - 4101
Hauptverfasser:	Alpuente, M., Ballis, D., Correa, F., Falaschi, M.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Oxford Elsevier B.V 29.10.2010 Elsevier
Schlagworte:	Algorithmics. Computability. Computer arithmetics Applied sciences C (programming language) Computation Computer science; control theory; systems Computer simulation Debugging Diagnosis Exact sciences and technology Functional logic programming Language theory and syntactical analysis Mathematical models Methodology Miscellaneous Narrowing Program transformation Programming theory Semantics Theoretical computing Workability Narrowing Debugging Program transformation Functional logic programming Evaluation Approximate method User Error estimation Computer theory Methodology Induction Rewriting Check Unfolding Program correctness Program specification Implementation Environment Diagnosis Functional programming Repair Symptoms
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!