3713 search results - page 131 / 743 » Constructing a Calculus of Programs |
117
Voted
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
106
click to vote
ICLP
1990
Springer
15 years 7 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
143
Voted
LOPSTR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
127
click to vote
ASIAN
1998
Springer
15 years 7 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
139
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...