Sciweavers

AMAST
1998
Springer
13 years 7 months ago
Abstract Algebraic Logic
Don Pigozzi
AMAST
1998
Springer
13 years 7 months ago
Observational Logic
Rolf Hennicker, Michel Bidoit
AMAST
1998
Springer
13 years 7 months ago
Scheduling Algebra
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
Rob J. van Glabbeek, Peter Rittgen
AMAST
1998
Springer
13 years 7 months ago
Type Analysis for CHIP
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
Wlodzimierz Drabent, Pawel Pietrzak
AMAST
1998
Springer
13 years 7 months ago
Architectural Specifications in CASL
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
AMAST
1998
Springer
13 years 7 months ago
An Algebraic View of Program Composition
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
Pietro Cenciarelli