Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
POPL
1994
ACM
11 years 10 months ago
Soft Typing with Conditional Types
Alexander Aiken, Edward L. Wimmers, T. K. Lakshman
POPL
1994
ACM
11 years 10 months 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
11 years 10 months ago
Analyzing Logic Programs with Dynamic Scheduling
Kim Marriott, Maria J. García de la Banda, ...
POPL
1994
ACM
11 years 10 months 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
11 years 10 months 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
11 years 10 months 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
POPL
1994
ACM
11 years 10 months ago
The Typed Polymorphic Label-Selective lambda-Calculus
Jacques Garrigue, Hassan Aït-Kaci
books