1805 search results - page 65 / 361 » Functional programming with structured graphs |
125
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
129
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
135
Voted
APLAS
2011
ACM
14 years 2 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
131
click to vote
FPCA
1995
15 years 6 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
105
click to vote
PDCAT
2007
Springer
15 years 8 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...