Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


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

Toward a complete transformational toolkit for compilers
J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering
Pages: 639-684
DOI: 10.1145/265943.265944
PIM is an equational logic designed to function as a “transformational toolkit” for compilers and other programming tools that analyze and manipulate imperative languages. It has been applied to such problems as program slicing,...

Proving concurrent constraint programs correct
Frank S. De Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
Pages: 685-725
DOI: 10.1145/265943.265954
We introduce a simple compositional proof system for proving (partial) correctness of concurrent constraint programs (CCP). The proof system is based on a denotational approximation of the strongest postcondition semantics of CCP programs. The...

Verifying parameterized networks
E. M. Clarke, O. Grumberg, S. Jha
Pages: 726-750
DOI: 10.1145/265943.265960
This article describes a technique based on network grammars and abstraction to verify families of state-transition systems. The family of state-transition systems is represented by a context-free network grammar. Using the structure of the...

Disjunctive program analysis for algebraic data types
Thomas Jensen
Pages: 751-803
DOI: 10.1145/265943.265966
We describe how binding-time, data-flow, and strictness analyses for languages with higher-order functions and algebraic data types can be obtained by instantiating a generic program logic and axiomatization of the properties analyzed for. A...

Mobile objects in distributed Oz
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
Pages: 804-851
DOI: 10.1145/265943.265972
Some of the most difficult questions to answer when designing a distributed application are related to mobility: what information to transfer between sites and when and how to transfer it. Network-transparent distribution, the property that a...