当前位置: X-MOL 学术Mathematics › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Semantic Framework to Debug Parallel Lazy Functional Languages
Mathematics ( IF 2.3 ) Pub Date : 2020-05-26 , DOI: 10.3390/math8060864
Alberto de la Encina , Mercedes Hidalgo-Herrero , Luis Llana , Fernando Rubio

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.

中文翻译:

调试并行惰性函数语言的语义框架

调试惰性功能程序并不容易。原因是惰性和高阶使基本调试策略复杂化。尽管存在多个用于顺序惰性语言的调试器,但是处理并行语言要困难得多。在这种情况下,为并行扩展实现调试平台很重要,但是提供理论基础以简化了解调试过程的任务也很重要。在这项工作中,我们使用两种并行语言处理调试过程,这些语言扩展了惰性语言Haskell。特别是,我们提供了一种操作语义,使我们能够推理出顺序调试器Hood的并行扩展。此外,我们展示了如何使用它来分析流程完成的投机工作量,
更新日期:2020-05-26
down
wechat
bug