Can I read Observing Intermediate Structures in a Parallel Lazy Functional Language on EtoBox?

Observing Intermediate Structures in a Parallel Lazy Functional Language by Alberto de la Encina; Luis Llana; Fernando Rubio; Mercedes Hidalgo-Herrero is a scholarly article available to read on EtoBox.

What is Observing Intermediate Structures in a Parallel Lazy Functional Language about?

Due to the use of higher-order functions and laziness, debugging lazy functional programs is not a trivial task. Fortunately, several debuggers have appeared during the last years. However, the difficulty of the debugging process is increased when considering parallel extensions of lazy functional languages. Thus, it is necessary not only to develop practical debuggers, but also to provide a clear semantic environment to understand what the debuggers should do. In this paper we present a formal framework for debugging two different parallel extensions of the lazy functional language Haskell. In order to do that, we define an operational semantics model which allows us to deal with side-effects and parallelism. By doing so, we provide a formalization of a parallel debugger we have already implemented by extending the sequential debugger Hood.

Author

Alberto de la Encina; Luis Llana; Fernando Rubio; Mercedes Hidalgo-Herrero

Publisher

ACM

Published

2007

Language

EN