A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program - researchr publication

researchr

You are not signed in
Sign in
Sign up

Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo. A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. In María Alpuente, editor, 9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000. pages 8-22, 2000.

Abstract is missing.

runs on WebDSL