ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 16 Issue 2, March 1994

Efficient computation of interprocedural definition-use chains
Mary Jean Harrold, Mary Lou Soffa
Pages: 175-204
DOI: 10.1145/174662.174663
The dependencies that exist among definitions and uses of variables in a program are required by many language-processing tools. This paper considers the computation of definition-use and use-definition chains that extend across procedure...

Live-structure dataflow analysis for Prolog
Anne Mulkers, William Winsborough, Maurice Bruynooghe
Pages: 205-258
DOI: 10.1145/174662.174664
For the class of applicative programming languages, efficient methods for reclaiming the memory occupied by released data structures constitute an important aspect of current implementations. The present article addresses the problem of memory...

Compositional specification and verification of distributed systems
Bengt Jonsson
Pages: 259-303
DOI: 10.1145/174662.174665
We present a method for specification and verification of distributed systems that communicate via asynchronous message passing. The method handles both safety and liveness properties. It is compositional, i.e., a specification of a composite...