1564 search results - page 17 / 313 » Extensions to the Estimation Calculus |
143
click to vote
ENTCS
2011
15 years 1 months ago
2011
Abstract—We present elements of quantum circuits translations from the (standard) network or circuit model to the one-way one. We present a translation scheme, give an account of...
189
click to vote
SCP
2000
15 years 6 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
154
click to vote
SOCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
171
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
132
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...