Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 14 Issue 1, Jan. 1992

An adaptive tenuring policy for generation scavengers
David Ungar, Frank Jackson
Pages: 1-27
DOI: 10.1145/111186.116734
One of the more promising automatic storage reclamation techniques, generation scavenging, suffers poor performance if many objects live for a fairly long time and then die. We have investigated the severity of this problem by simulating a...

Jon A. Solworth
Pages: 28-53
DOI: 10.1145/111186.116785
To date, the implementation of message passing languages has required hte communications variables (sometimes called ports) either to be limited to the number of physical communications registers in the machine or to be mapped to memory. Neither...

Computer-assisted microanalysis of parallel programs
Timothy J. Hickey, Jacques Cohen, Hirofumi Hotta, Thierry PetitJean
Pages: 54-106
DOI: 10.1145/111186.126699
This paper consists of two parts: the first provides the theoretical foundations for analyzing parallel programs and illustrates how the theory can be applied to estimate the execution time of a class of parallel programs being executed on a...

Denotational semantics of a goal-directed language
David A. Gudeman
Pages: 107-125
DOI: 10.1145/111186.104659
Goal-directed evaluation is a very expressive programming language paradigm that is supported in relatively few languages. It is characterized by evaluation of expressions in an attempt to meet some goal, with resumption of previous expressions...