152
click to vote
MPC
15 years 9 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...
137
click to vote
MPC
15 years 9 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,...
137
click to vote
MPC
15 years 9 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...
136
click to vote
MPC
15 years 9 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...
135
click to vote
MPC
15 years 9 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...
|
Mathematics