4895 search results - page 191 / 979 » Functional Quantum Programming |
139
click to vote
CPHYSICS
2007
15 years 2 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...
135
Voted
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
145
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
102
Voted
ITNG
2006
IEEE
15 years 8 months ago
2006
IEEE
Many programming languages have built-in functions for socket programming and data communications. These days, the Internet is widely used for voice communications that employ a V...
114
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...