1830 search results - page 12 / 366 » Functional Programs as Linked Data |
102
Voted
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...
103
click to vote
ICIC
2009
Springer
15 years 6 months ago
2009
Springer
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
201
click to vote
LPAR
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We propose in this paper an exploratory analysis algorithm for functional data. The method partitions a set of functions into K clusters and represents each cluster by a simple pr...
88
Voted
ISCAPDCS
2003
15 years 1 months ago
2003
This paper discusses the use of “relative debugging” as a technique for locating errors in a program that has been ported or developed using evolutionary software engineering ...