Abstract Diagnosis of Functional Programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Abstract Diagnosis of First Order Functional Logic ProgramsGiovanni Bacci, Marco Comini. LOPSTR 2011: 215-233 [doi]

Abstract correction of first-order functional programsMaría Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas. ENTCS, 86(3):105-122, 2003. [doi]

runs on WebDSL