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 26 Issue 2, March 2004

Logic of global synchrony
Yifeng Chen, J. W. Sanders
Pages: 221-262
DOI: 10.1145/973097.973098
An intermediate-level specification formalism (i.e., specification language supported by laws and a semantic model), Logs, is presented for PRAM and BSP styles of parallel programming. It extends pre-post sequential semantics to reveal states at...

A fast and accurate framework to analyze and optimize cache memory behavior
Xavier Vera, Nerina Bermudo, Josep Llosa, Antonio González
Pages: 263-300
DOI: 10.1145/973097.973099
The gap between processor and main memory performance increases every year. In order to overcome this problem, cache memories are widely used. However, they are only effective when programs exhibit sufficient data locality. Compile-time program...

Hancock: A language for analyzing transactional data streams
Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith
Pages: 301-338
DOI: 10.1145/973097.973100
Massive transaction streams present a number of opportunities for data mining techniques. The transactions in such streams might represent calls on a telephone network, commercial credit card purchases, stock market trades, or HTTP requests to a web...

Modular refinement of hierarchic reactive machines
Rajeev Alur, Radu Grosu
Pages: 339-369
DOI: 10.1145/973097.973101
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well...

Traversals of object structures: Specification and Efficient Implementation
Karl Lieberherr, Boaz Patt-Shamir, Doug Orleans
Pages: 370-412
DOI: 10.1145/973097.973102
Separation of concerns and loose coupling of concerns are important issues in software enginnering. In this paper we show how to separate traversal-related concerns from other concerns, how to loosely couple traversal-related concerns to the...