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 23 Issue 3, May 2001

Model checking of hierarchical state machines
Rajeev Alur, Mihalis Yannakakis
Pages: 273-303
DOI: 10.1145/503502.503503
Model checking is emerging as a practical tool for detecting logical errors in early stages of system design. We investigate the model checking of sequential hierarchical (nested) systems, i.e., finite-state machines whose states themselves can be...

Transformations of CCP programs
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
Pages: 304-395
DOI: 10.1145/503502.503504
We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations that guarantee the input/output CCP semantics is also preserved when distinguishing deadlocked...

Featherweight Java: a minimal core calculus for Java and GJ
Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
Pages: 396-450
DOI: 10.1145/503502.503505
Several recent studies have introduced lightweight versions of Java: reduced languages in which complex features like threads and reflection are dropped to enable rigorous arguments about key properties such as type safety. We carry this process a...