Observing functional logic computations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3057, Issue , 2004, Pages 193-208

  Braßel, Bernd ^a   Chitil, Olaf ^b   Hanus, Michael ^a   Huch, Frank ^a  

^a UNIVERSITY OF KIEL   (Germany)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING;

FUNCTIONAL LOGIC PROGRAMS; HIGHER ORDER FUNCTIONS; LOGIC COMPUTATION; LOGICAL VARIABLES; MULTI-PARADIGM LANGUAGES; OBSERVATION SYSTEMS; PORTABLE LIBRARIES; PROGRAM EXECUTION;

PROGRAM DEBUGGING;

EID: 84974735907     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24836-1_14     Document Type: Conference Paper

References (19)

1. Simon P. Booth and Simon B. Jones. Walk backwards to happiness-debugging by time travel. In Automated and Algorithmic Debugging, pages 171-183, 1997.
2. R. Caballero, F.J. López-Fraguas, and M. Rodríguez-Artalejo. Theoretical foundations for the declarative debugging of lazy functional logic programs. In FLOPS 2001, pages 170-184. Springer LNCS 2024, 2001.
3. O. Chitil, C. Runciman, and M. Wallace. Freja, Hat and Hood-a comparative evaluation of three systems for tracing and debugging lazy functional programs. In IFL 2000, pp. 176-193. Springer LNCS 2011, 2001.
4. W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. The use of assertions in algorithmic debugging. In Proc. FGCS’88, pages 573-581, 1988.
5. Andy Gill. Debugging Haskell by observing intermediate data structures. In Graham Hutton, editor, ENTCS, volume 41. Elsevier, 2001.
6. M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583-628, 1994.
7. M. Hanus. A unified computation model for functional and logic programming. In POPL’97, pages 80-93, 1997.
8. M. Hanus. High-level server side web scripting in Curry. In PADL’01, pages 76-92. Springer LNCS 1990, 2001.
9. M. Hanus, S. Antoy, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at http://www.informatik.uni-kiel.de/˜pakcs/, 2003.
10. M. Hanus (ed.). Curry: An integrated functional logic language (vers. 0.7.2). Available at http://www.informatik.uni-kiel.de/˜curry, 2002.
11. H. Nilsson and P. Fritzson. Algorithmic debugging for lazy functional languages. Journal of Functional Programming, 4(3):337-370, 1994.
12. Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden, 1998.
13. Simon Peyton Jones et al. Haskell 98 language and libraries: the revised report. Journal of Functional Programming, 13(1), 2003.
14. B. Pope and Lee Naish. Practical aspects of declarative debugging in Haskell-98. In ACM PPDP ’03, pages 230-240, 2003.
15. Claus Reinke. GHood-graphical visualisation and animation of Haskell object observations. In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, 2001.
16. E. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.
17. J. Sparud and C. Runciman. Tracing lazy functional computations using redex trails. LNCS, 1292:291-308, 1997.
18. A. Tessier. Declarative debugging in constraint logic programming. LNCS, 1179:64-73, 1996.
19. M. Wallace, O. Chitil, T. Brehm, and C. Runciman. Multiple-view tracing for Haskell. In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, 2001.