3713 search results - page 79 / 743 » Constructing a Calculus of Programs |
105
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
149
click to vote
CCA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
132
click to vote
ENTCS
2008
15 years 3 months ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
162
click to vote
FORTE
2009
15 years 24 days ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
150
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...