4959 search results - page 115 / 992 » Imperative Functional Programming |
103
click to vote
CPHYSICS
2006
14 years 11 months ago
2006
This article introduces a tool for data fitting that is based on genetic programming and especially on the grammatical evolution technique. The user needs to input a series of poi...
DAGSTUHL
1996
15 years 14 days ago
1996
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is dif...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
AMC
2006
14 years 11 months ago
2006
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...
194
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...