Sciweavers

4719 search results - page 24 / 944
» Spreadsheet functional programming
Sort
View
76
Voted
TOOLS
2010
IEEE
15 years 5 months ago
Reasoning about Function Objects
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...
ICFP
2009
ACM
16 years 1 months ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
106
Voted
JUCS
2007
80views more  JUCS 2007»
15 years 9 days ago
Higher-Order Lazy Functional Slicing
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
Nuno F. Rodrigues, Luís Soares Barbosa
124
Voted
LISP
2008
165views more  LISP 2008»
15 years 11 days ago
Adapting functional programs to higher order logic
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
Scott Owens, Konrad Slind
117
Voted
APLAS
2003
ACM
15 years 5 months ago
Constraint Functional Logic Programming for Origami Construction
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...
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi