Abstract Diagnosis of Functional Programs

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas. Abstract Diagnosis of Functional Programs. In Michael Leuschel, editor, Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers. Volume 2664 of Lecture Notes in Computer Science, pages 1-16, Springer, 2002. [doi]

Authors

María Alpuente

Identified as María Alpuente

Marco Comini

This author has not been identified. Look up 'Marco Comini' in Google

Santiago Escobar

This author has not been identified. It may be one of the following persons: Look up 'Santiago Escobar' in Google

Moreno Falaschi

This author has not been identified. Look up 'Moreno Falaschi' in Google

Salvador Lucas

Identified as Salvador Lucas