Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 18 Issue 5, Sept. 1996

Constrained types and their expressiveness
Jens Palsberg, Scott Smith
Pages: 519-527
DOI: 10.1145/232706.232715
A constrained type consists of both a standard type and a constraint set. Such types enable efficient type inference for object-oriented languages with polymorphism and subtyping, as demonstrated by Eifrig, Smith, and Trifonov. Until now, it has...

Principles and practice of unification factoring
Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift
Pages: 528-563
DOI: 10.1145/232706.232722
The efficiency of resolution-based logic programming languages, such as Prolog, depends critically on selecting and executing sets of applicable clause heads to resolve against subgoals. Traditional approaches to this problem have focused on...

Global analysis of constraint logic programs
M. Garcia de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens
Pages: 564-614
DOI: 10.1145/232706.232734
This article presents and illustrates a practical approach to the dataflow analysis of constraint logic programming languages using abstract interpretation. It is first argued that, from the framework point of view, it suffices to propose...

Indirect distributed garbage collection: handling object migration
José M. Piquer
Pages: 615-647
DOI: 10.1145/232706.232711
In new distributed systems, object mobility is usually allowed and is sometimes used by the underlying object manager system to benefit from object access locality. On the other hand, in-transit references to objects can exist at any moment in...