Stop the war!
Остановите войну!
for scientists:
default search action
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 26
Volume 26, Number 1, January 2004
- Antonio J. Fernández, Patricia M. Hill:
An interval constraint system for lattice domains. 1-46 - Sergei Gorlatch:
Send-receive considered harmful: Myths and realities of message passing. 47-56 - Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Access control for mobile agents: The calculus of boxed ambients. 57-124 - Paul C. Attie, Anish Arora, E. Allen Emerson:
Synthesis of fault-tolerant concurrent programs. 125-185 - Pei-Chi Wu:
On exponential-time completeness of the circularity problem for attribute grammars. 186-190 - Niels H. Christensen, Robert Glück:
Offline partial evaluation can be as accurate as online partial evaluation. 191-220
Volume 26, Number 2, March 2004
- Yifeng Chen, Jeff W. Sanders:
Logic of global synchrony. 221-262 - Xavier Vera, Nerina Bermudo, Josep Llosa, Antonio González:
A fast and accurate framework to analyze and optimize cache memory behavior. 263-300 - Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith:
Hancock: A language for analyzing transactional data streams. 301-338 - Rajeev Alur, Radu Grosu:
Modular refinement of hierarchic reactive machines. 339-369 - Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans:
Traversals of object structures: Specification and Efficient Implementation. 370-412
Volume 26, Number 3, May 2004
- Michael Leuschel:
A framework for the integration of partial evaluation and abstract interpretation of logic programs. 413-463 - Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
An unfold/fold transformation framework for definite logic programs. 464-509 - Sabine Glesner, Wolf Zimmermann:
Natural semantics as a static program analysis framework. 510-577 - Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson:
JR: Flexible distributed programming in an extended Java. 578-608
Volume 26, Number 4, July 2004
- Rajiv Mirani, Paul Hudak:
First-class monadic schedules. 609-651 - Simon Helsen, Peter Thiemann:
Polymorphic specialization for ML. 652-701 - A. Prasad Sistla, Patrice Godefroid:
Symmetry and reduced symmetry in model checking. 702-734 - Jinpyo Park, Soo-Mook Moon:
Optimistic register coalescing. 735-765
Volume 26, Number 5, September 2004
- Martin Odersky, Benjamin C. Pierce:
Guest editorial. 767-768 - Nick Benton, Luca Cardelli, Cédric Fournet:
Modern concurrency abstractions for C#. 769-804 - Christopher A. Stone:
Extensible objects without labels. 805-835 - Todd D. Millstein, Colin Bleckner, Craig Chambers:
Modular typechecking for hierarchically extensible datatypes and functions. 836-889 - Mitchell Wand, Gregor Kiczales, Christopher Dutchyn:
A semantics for advice and dynamic join points in aspect-oriented programming. 890-910
Volume 26, Number 6, November 2004
- C. Barry Jay:
The pattern calculus. 911-937 - Sathyanarayanan Thammanur, Santosh Pande:
A fast, memory-efficient register allocation framework for embedded systems. 938-974 - Zhiyuan Li, Yonghong Song:
Automatic tiling of iterative stencil loops. 975-1028 - John Clements, Matthias Felleisen:
A tail-recursive machine with stack inspection. 1029-1052
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.