1932 search results - page 159 / 387 » A Functional Quantum Programming Language |
180
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
An improved version of the function estimation program GDF is presented. The main enhancements of the new version include: multi-output function estimation, capability of definin...
171
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
165
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
205
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
170
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes how to improve the reusability of iconic program modules. In iconic programming systems, the most important features for reuse are the customization of a modu...