29. POPL 2002: Portland, OR, USA
John Launchbury, John C. Mitchell (Eds.): Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002. ACM 2002 ISBN 1-58113-450-9, (ACM SIGPLAN Notices 37(1), January 2002)
- Thomas Ball, Sriram K. Rajamani: The SLAM project: debugging system software via static analysis. 1-3
- Martín Abadi, Bruno Blanchet: Analyzing security protocols with secrecy types and logic programs. 33-44
- Sagar Chaki, Sriram K. Rajamani, Jakob Rehof: Types as models: model checking message-passing programs. 45-57
- Hans-Juergen Boehm: Bounding space usage of conservative garbage collectors. 93-100
- Matthai Philipose, Craig Chambers, Susan J. Eggers: Towards automatic construction of staged compilers. 113-125
- Matthias Felleisen: From POPL to the classroom and back. 126-127
- George C. Necula, Scott McPeak, Westley Weimer: CCured: type-safe retrofitting of legacy code. 128-139
- Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi: An efficient profile-analysis framework for data-layout optimizations. 140-153
- Norman Ramsey, Avi Pfeffer: Stochastic lambda calculus and monads of probability distributions. 154-165
- Anindya Banerjee, David A. Naumann: Representation independence, confinement and access control [extended abstract]. 166-177
- Patrick Cousot, Radhia Cousot: Systematic design of program transformation frameworks by abstract interpretation. 178-190
- Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. 203-216
- Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou: A type system for certified binaries. 217-232
- Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber: Functional logic overloading. 233-244
- Rajit Manohar: Scalable formal design methods for asynchronous VLSI. 245-246
- Martin Hofmann: The strength of non-size increasing computation. 260-269
- David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen: Proving correctness of compiler optimizations by temporal logic. 283-294
- Yefim Shuf, Manish Gupta, Rajesh Bordawekar, Jaswinder Pal Singh: Exploiting prolific types for memory management and optimizations. 295-306
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team