3713 search results - page 33 / 743 » Constructing a Calculus of Programs |
CSL
2004
Springer
15 years 3 months ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
IJMMSC
2010
14 years 4 months ago
2010
Using the diagrammatic calculus for Soergel bimodules, developed by B. Elias and M. Khovanov, as well as Rasmussen's spectral sequence, we construct an integral version of HO...
ECOOP
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
ICLP
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
FUIN
2010
14 years 8 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...