Sciweavers

4719 search results - page 42 / 944
» Spreadsheet functional programming
Sort
View
79
Voted
CL
2007
Springer
15 years 16 days ago
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...
Marco Aldinucci, Marco Danelutto
99
Voted
JUCS
2008
140views more  JUCS 2008»
15 years 15 days ago
The Computable Multi-Functions on Multi-represented Sets are Closed under Programming
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
Klaus Weihrauch
98
Voted
LOPSTR
2007
Springer
15 years 6 months ago
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
Sebastian Fischer, Josep Silva, Salvador Tamarit, ...
102
Voted
MP
2002
113views more  MP 2002»
15 years 6 days ago
A note on sensitivity of value functions of mathematical programs with complementarity constraints
Using standard nonlinear programming (NLP) theory, we establish formulas for first and second order directional derivatives for optimal value functions of parametric mathematical ...
Xinmin Hu, Daniel Ralph
85
Voted
ENTCS
2007
111views more  ENTCS 2007»
15 years 15 days ago
Extra Variables Can Be Eliminated from Functional Logic Programs
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
Javier de Dios Castro, Francisco Javier Lóp...