4959 search results - page 65 / 992 » Imperative Functional Programming |
103
click to vote
APLAS
2003
ACM
15 years 4 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
PRICAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
98
Voted
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
JFP
2007
14 years 11 months ago
2007
The functional programming community has shown some interest in spreadsheets, but surprisingly no one seems to have considered making a standard spreadsheet, such as Excel, work w...
FPCA
1991
15 years 2 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...