A Semantic Framework to Debug Parallel Lazy Functional Languages

Alberto de la Encina, Mercedes Hidalgo-Herrero, Luis Llana and Fernando Rubio
Additional contact information
Alberto de la Encina: Facultad Informática, Universidad Complutense, 28040 Madrid, Spain
Mercedes Hidalgo-Herrero: Facultad Educación–Centro Formación Profesorado, Universidad Complutense, 28040 Madrid, Spain
Luis Llana: Facultad Informática, Universidad Complutense, 28040 Madrid, Spain
Fernando Rubio: Facultad Informática, Universidad Complutense, 28040 Madrid, Spain

Mathematics, 2020, vol. 8, issue 6, 1-66

Abstract: It is not easy to debug lazy functional programs. The reason is that laziness and higher-order 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.

Keywords: functional programming; debugging; parallel programming; semantics (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2020
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/8/6/864/pdf (application/pdf)
https://www.mdpi.com/2227-7390/8/6/864/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:8:y:2020:i:6:p:864-:d:363174

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().