We present a generic scheme for the declarative debugging of functional programs modeled as term rewriting systems. We associate to our programs a semantics based on a (continuous) immediate consequence operator, TR, which models the (values/normal forms) semantics of R. Then, we develop an effective debugging methodology which is based on abstract interpretation: by approximating the intended specification of the semantics of R we derive a finitely terminating bottom-up diagnosis method, which can be used statically. Our debugging framework does not require the user to either provide error symptoms in advance or answer questions concerning program correctness. We have made available a prototypical implementation in Haskell and have tested it on some non trivial examples.

Alpuente, M., Comini, M., Escobar, S., Falaschi, M., & Lucas, S. (2003). Abstract Diagnosis of Functional Programs. In Logic-Based Program Synthesis and Transformation (LOPSTR'02) (pp.1-16). Berlin : Springer-Verlag [10.1007/3-540-45013-0_1].

Abstract Diagnosis of Functional Programs

Falaschi, M.;
2003

Abstract

We present a generic scheme for the declarative debugging of functional programs modeled as term rewriting systems. We associate to our programs a semantics based on a (continuous) immediate consequence operator, TR, which models the (values/normal forms) semantics of R. Then, we develop an effective debugging methodology which is based on abstract interpretation: by approximating the intended specification of the semantics of R we derive a finitely terminating bottom-up diagnosis method, which can be used statically. Our debugging framework does not require the user to either provide error symptoms in advance or answer questions concerning program correctness. We have made available a prototypical implementation in Haskell and have tested it on some non trivial examples.
3540404384
Alpuente, M., Comini, M., Escobar, S., Falaschi, M., & Lucas, S. (2003). Abstract Diagnosis of Functional Programs. In Logic-Based Program Synthesis and Transformation (LOPSTR'02) (pp.1-16). Berlin : Springer-Verlag [10.1007/3-540-45013-0_1].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11365/36691
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo