16 search results - page 2 / 4 » popl 1994 |
POPL
1994
ACM
13 years 9 months ago
1994
ACM
POPL
1994
ACM
13 years 9 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
13 years 9 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
13 years 9 months ago
1994
ACM
Heap allocation with copying garbage collection is believed to have poormemory subsystem performance. We conducted a studyofthememory subsystem performance of heap allocation for ...
POPL
1994
ACM
13 years 9 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...