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 32 Issue 3, March 2010

Semantic foundations for typed assembly languages
Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
Article No.: 7
DOI: 10.1145/1709093.1709094

Typed Assembly Languages (TALs) are used to validate the safety of machine-language programs. The Foundational Proof-Carrying Code project seeks to verify the soundness of TALs using the smallest possible set of axioms: the axioms of a suitably...

A termination analyzer for Java bytecode based on path-length
Fausto Spoto, Fred Mesnard, Étienne Payet
Article No.: 8
DOI: 10.1145/1709093.1709095

It is important to prove that supposedly terminating programs actually terminate, particularly if those programs must be run on critical systems or downloaded into a client such as a mobile phone. Although termination of computer programs is...

Satin: A high-level and efficient grid programming model
Rob V. Van Nieuwpoort, Gosia Wrzesińska, Ceriel J. H. Jacobs, Henri E. Bal
Article No.: 9
DOI: 10.1145/1709093.1709096

Computational grids have an enormous potential to provide compute power. However, this power remains largely unexploited today for most applications, except trivially parallel programs. Developing parallel grid applications simply is too...