Task Oriented programming (TOP) is a special flavor of functionalprogramming for real-world application domains in which people and automated systems collaborate to achieve a common goal. the original iTasks framewor...
详细信息
Embedded domain specific languages (DSLs) are a common pattern in the functionalprogramming world, providing very high-level abstractions to programmer. Unfortunately, this abstraction is broken when type errors occu...
详细信息
this paper presents a new tool called Extrapolate that automatically generalizes counterexamples found by property-based testing in Haskell. Example applications show that generalized counterexamples can inform the pr...
详细信息
Parallel computations in a program can be expressed conveniently, at a high level of abstraction, using parallel patterns such as task farm, pipeline or divide-and-conquer. In order to transform a sequential program i...
详细信息
ISBN:
(纸本)9781450363433
Parallel computations in a program can be expressed conveniently, at a high level of abstraction, using parallel patterns such as task farm, pipeline or divide-and-conquer. In order to transform a sequential program into a pattern-based parallel one, the software developer may want to apply refactoring transformations on it. this tutorial explains a methodology to perform tool supported parallelization of programs by presenting how to use a specific static source code analysis and transformation system for Erlang. A key element of the approach is pattern candidate discovery, a static analysis technique to identify code fragments that can be refactored into a parallel pattern.
暂无评论