IFL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more...
IFL
2001
Springer
13 years 12 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
IFL
2001
Springer
13 years 12 months ago
2001
Springer
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
IFL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
IFL
2001
Springer
13 years 12 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
FM
2001
Springer
13 years 12 months ago
2001
Springer
FM
2001
Springer
13 years 12 months ago
2001
Springer
FM
2001
Springer
13 years 12 months ago
2001
Springer
FM
2001
Springer
13 years 12 months ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...