2335 search results - page 120 / 467 » Functional Differentiation of Computer Programs |
143
click to vote
ECEASST
2008
15 years 4 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
143
click to vote
PG
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper addresses the problem of 3D reconstruction from a set of viewpoints on a short baseline. Its main contribution is the development of a robust algorithm which can extrac...
138
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
137
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
138
click to vote
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...