743 search results - page 33 / 149 » A Calculus of Gamma Programs |
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
FSTTCS
1999
Springer
13 years 12 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...