1194 search results - page 79 / 239 » A Calculus for Predicative Programming |
146
Voted
ECAI
2010
Springer
15 years 3 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...
115
click to vote
TOPLAS
2010
15 years 27 days ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
103
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
108
click to vote
JFP
2006
15 years 2 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
128
Voted
ICCL
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...