default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems (TOPLAS), Volume 31
Volume 31, Number 1, December 2008
- Bart Jacobs
, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte:
A programming model for concurrent object-oriented programs. 1:1-1:48 - Christian Schulte, Peter J. Stuckey:
Efficient constraint propagation engines. 2:1-2:43 - Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci:
Decomposing bytecode verification by abstract interpretation. 3:1-3:63 - Sungwoo Park, Frank Pfenning, Sebastian Thrun:
A probabilistic language based on sampling functions. 4:1-4:46 - Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse:
Verified interoperable implementations of security protocols. 5:1-5:61
Volume 31, Number 2, February 2009
- Christian Schulte, Peter J. Stuckey:
Erratum to "Efficient constraint propagation engines". - Ana Lúcia de Moura, Roberto Ierusalimschy:
Revisiting coroutines. 6:1-6:31 - Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth:
Expressive and modular predicate dispatch for Java. 7:1-7:54 - Jon Sneyers, Tom Schrijvers, Bart Demoen:
The computational power and complexity of constraint handling rules. 8:1-8:42
Volume 31, Number 3, April 2009
- Steve MacDonald, Kai Tan, Jonathan Schaeffer, Duane Szafron:
Deferring design pattern decisions and automating structural pattern changes using a design-pattern-based programming system. 9:1-9:49 - Chin Soon Lee:
Ranking functions for size-change termination. 10:1-10:42 - Peter W. O'Hearn, Hongseok Yang, John C. Reynolds:
Separation and information hiding. 11:1-11:50 - Jacob Matthews, Robert Bruce Findler:
Operational semantics for multi-language programs. 12:1-12:44
Volume 31, Number 4, May 2009
- Zena M. Ariola, Aaron Bohannon, Amr Sabry:
Sequent calculi and abstract machines. 13:1-13:48 - Sara Kalvala, Richard Warburton, David Lacey:
Program transformations using temporal logic side conditions. 14:1-14:48 - Davide Sangiorgi:
On the origins of bisimulation and coinduction. 15:1-15:41 - Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell:
Term transformers: A new approach to state. 16:1-16:42 - Keshav Pingali, Kathryn S. McKinley:
Remembrances of things past. 17.1:1-17.1:2
Volume 31, Number 5, June 2009
- Efe Yardimci, Michael Franz:
Mostly static program partitioning of binary executables. 17:1-17:46 - Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk:
Certificate translation for optimizing compilers. 18:1-18:45 - Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A theory of contracts for Web services. 19:1-19:61
Volume 31, Number 6, August 2009
- Yutao Zhong, Xipeng Shen, Chen Ding:
Program locality analysis using reuse distance. 20:1-20:39 - Yanhong A. Liu, Scott D. Stoller:
From datalog rules to efficient programs with time and space guarantees. 21:1-21:38 - Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv:
Self-stabilization preserving compiler. 22:1-22:42 - Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Local policies for resource usage analysis. 23:1-23:43
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-25 00:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
