5863 search results - page 96 / 1173 » Calculating Functional Programs |
129
click to vote
FUIN
2007
15 years 2 months ago
2007
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
93
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
159
click to vote
AIIA
1995
Springer
15 years 5 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
115
click to vote
DAGSTUHL
1996
15 years 3 months 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...
105
click to vote
CORR
2008
Springer
15 years 2 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...