3713 search results - page 80 / 743 » Constructing a Calculus of Programs |
112
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...
128
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
113
click to vote
JFP
2006
15 years 3 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 (...
144
Voted
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
117
click to vote
MPC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a description technique for the correct construction of programs that allows us to de ne terms like re nement, modelchecking, and synthesis as special operatio...