A Semantic Framework to Debug Parallel Lazy Functional Languages



Downloads per month over past year

Encina Vara, Alberto de la and Hidalgo Herrero, Mercedes and Llana Díaz, Luis Fernando and Rubio Díez, Fernando (2020) A Semantic Framework to Debug Parallel Lazy Functional Languages. Mathematics, 8 (6). ISSN 2227-7390

[thumbnail of mathematics-08-00864-v2.pdf]
Creative Commons Attribution.


Official URL: https://doi.org/10.3390/math8060864


It is not easy to debug lazy functional programs. The reason is that laziness and higherorder complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much harder. In this case, it is important to implement debugging platforms for parallel extensions, but it is also important to provide theoretical foundations to simplify the task of understanding the debugging process. In this work, we deal with the debugging process in two parallel languages that extend the lazy language Haskell. In particular, we provide an operational semantics that allows us to reason about our parallel extension of the sequential debugger Hood. In addition, we show how we can use it to analyze the amount of speculative work done by the processes, so that it can be used to optimize their use of resources.

Item Type:Article
Uncontrolled Keywords:Functional programming; debugging; parallel programming; semantics
Subjects:Sciences > Computer science
Sciences > Computer science > Programming languages (Electronic computers)
Sciences > Computer science > Computer programming
ID Code:61771
Deposited On:05 Aug 2020 07:26
Last Modified:26 Aug 2021 11:34

Origin of downloads

Repository Staff Only: item control page