5863 search results - page 1 / 1173 » Calculating Functional Programs |
ACMMPC
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...
JUCS
2006
13 years 4 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
FPCA
1995
13 years 8 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
CANDC
2000
ACM
13 years 4 months ago
2000
ACM
We have developed a microcomputer program, based on a recently described approach called step by step filter (SBSF), for calculation of derivative curves directly from spectra rec...
APLAS
2005
ACM
13 years 10 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...