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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theoretical computer science Ročník 411; číslo 47; s. 4055 - 4101
Hlavní autori:	Alpuente, M., Ballis, D., Correa, F., Falaschi, M.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Oxford Elsevier B.V 29.10.2010 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!