A Program Transformation for Tracing Functional Logic Computations

Bernd Brassel, Sebastian Fischer, Frank Huch. A Program Transformation for Tracing Functional Logic Computations. In Germán Puebla, editor, Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers. Volume 4407 of Lecture Notes in Computer Science, pages 160-176, Springer, 2006. [doi]

Authors

Bernd Brassel

This author has not been identified. Look up 'Bernd Brassel' in Google

Sebastian Fischer

This author has not been identified. Look up 'Sebastian Fischer' in Google

Frank Huch

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