2335 search results - page 255 / 467 » Functional Differentiation of Computer Programs |
92
Voted
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
103
Voted
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
132
Voted
JAR
2008
15 years 17 days ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
104
click to vote
JAIR
2006
15 years 17 days ago
2006
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...