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...

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 411; no. 47; pp. 4055 - 4101
Main Authors:	Alpuente, M., Ballis, D., Correa, F., Falaschi, M.
Format:	Journal Article
Language:	English
Published:	Oxford Elsevier B.V 29.10.2010 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!