Sciweavers

Share
POPL
1994
ACM
9 years 11 months ago
Soft Typing with Conditional Types
Alexander Aiken, Edward L. Wimmers, T. K. Lakshman
POPL
1994
ACM
10 years 1 days ago
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph
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...
G. Ramalingam, Thomas W. Reps
POPL
1994
ACM
10 years 1 days ago
Analyzing Logic Programs with Dynamic Scheduling
Kim Marriott, Maria J. García de la Banda, ...
POPL
1994
ACM
10 years 1 days ago
Manifest Types, Modules, and Separate Compilation
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...
Xavier Leroy
POPL
1994
ACM
10 years 1 days ago
A Type System for Prototyping Languages
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...
Dinesh Katiyar, David C. Luckham, John C. Mitchell
POPL
1994
ACM
10 years 1 days ago
Formally Optimal Boxing
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...
Fritz Henglein, Jesper Jørgensen
books