Observing Functional Logic Computations (2004)

by Bernd Braßel , Olaf Chitil , Michael Hanus , Frank Huch
Venue:In Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL’04
Citations:11 - 9 self

Documents Related by Co-Citation

48 Operational Semantics for Declarative Multi-Paradigm Languages – E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal - 2005
49 Debugging Haskell by Observing Intermediate Data Structures – Andy Gill - 2000
19 A Semantics for Tracing Declarative Multi-Paradigm Programs – B. Brassel, M. Hanus, F. Huch - 2004
273 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
134 A unified computation model for functional and logic programming – Michael Hanus - 1997
71 Understanding the control flow of Prolog programs – L Byrd - 1980
27 Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs – Olaf Chitil, Colin Runciman, Malcolm Wallace - 2001
110 T OY: A multiparadigm declarative system – F López-Fraguas, J Sánchez-Hernández - 1999
50 PAKCS: The Portland Aachen Kiel Curry System. Available at http://www.informatik.uni-kiel.de/~pakcs – M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, R Sadre, F Steiner - 2010
82 An approach to declarative programming based on a rewriting logic – J C González-Moreno, T Hortalá-González, F López-Fraguas, M RodríguezArtalejo - 1999
439 Algorithmic Program Debugging – E Y Shapiro - 1983
44 Constructor-based Conditional Narrowing – Sergio Antoy - 2001
24 Admissible Graph Rewriting and Narrowing – Rachid Echahed, Jean-christophe Janodet - 1998
49 Compiling Multi-Paradigm Declarative Programs into Prolog – Sergio Antoy, Michael Hanus - 2000
26 The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging – Henrik Nilsson - 1995
77 Declarative debugging for lazy functional languages – Henrik Nilsson - 1998
169 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
7 DDT: a Declarative Debugging Tool for Functional-Logic Languages – Rafael Caballero, Mario Rodríguez-artalejo - 2004
31 Tracing Lazy Functional Computations Using Redex Trails – Jan Sparud, Colin Runciman - 1997