3713 search results - page 162 / 743 » Constructing a Calculus of Programs |
101
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
139
click to vote
POPL
2010
ACM
16 years 25 days ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
126
click to vote
JFP
2008
15 years 3 months ago
2008
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
120
click to vote
PPPJ
2004
ACM
15 years 8 months ago
2004
ACM
All programmers should understand the concept of program families and know the techniques for constructing them. This paper describes a case study that can be used to introduce st...
85
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...