9595 search results - page 212 / 1919 » Functional programming in C |
165
click to vote
AGTIVE
2007
Springer
16 years 13 days ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
170
click to vote
ICGA
1997
15 years 7 months ago
1997
Parallel Distributed Genetic Programming (PDGP) is a new form of Genetic Programming (GP) suitable for the development of programs with a high degree of parallelism. Programs are ...
174
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
267
click to vote
TPHOL
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
153
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We describe extensions to the Excel spreadsheet that integrate userdefined functions into the spreadsheet grid, rather than treating them as a "bolt-on". Our first objec...