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ženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 411; číslo 47; s. 4055 - 4101
Hlavní autoři:	Alpuente, M., Ballis, D., Correa, F., Falaschi, M.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Oxford Elsevier B.V 29.10.2010 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!