3713 search results - page 27 / 743 » Constructing a Calculus of Programs |
GPCE
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
ENTCS
2002
13 years 7 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
GPCE
2008
Springer
13 years 8 months ago
2008
Springer
RTA
2001
Springer
13 years 12 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...
POPL
2003
ACM
14 years 7 months ago
2003
ACM
