MPC
2004
Springer
13 years 10 months ago
2004
Springer
Unfolds generate data structures, and folds consume them. A hylomorphism is a fold after an unfold, generating then consuming a virtual data structure. A metamorphism is the opposi...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we define Kleene algebra with tests in a slightly more general way than Kozen’s definition. Then we give an explicit construction of the free Kleene algebra with...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basi...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
MPC
2004
Springer
13 years 10 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...