POPL
1994
ACM
14 years 4 months ago
1994
ACM
POPL
1994
ACM
14 years 4 months ago
1994
ACM
POPL
1994
ACM
14 years 4 months ago
1994
ACM
We present a new incremental algorithm for the problem of maintaining the dominator tree of a reducible flowgraph as the flowgraph undergoes changes such as the insertion and dele...
POPL
1994
ACM
14 years 4 months ago
1994
ACM
POPL
1994
ACM
14 years 4 months ago
1994
ACM
POPL
1994
ACM
14 years 4 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
POPL
1994
ACM
14 years 4 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
POPL
1994
ACM
14 years 4 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
POPL
1994
ACM
14 years 4 months ago
1994
ACM
POPL
1994
ACM
14 years 4 months ago
1994
ACM