MPC
13 years 11 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
13 years 11 months ago
2004 Springer  MPC
13 years 11 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
13 years 11 months ago
2004 Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
MPC
13 years 11 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...
|
Mathematics