28. POPL 2001:
London,
UK
Chris Hankin, Dave Schmidt (Eds.):
Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001.
ACM 2001, ISBN 1-58113-336-7 
- ACM SIGPLAN Notices 36(3), March 2001
- John C. Mitchell:
Programming language methods in computer security.
1-3
- Davide Sangiorgi:
Extensionality and Intensionality of the Ambient Logics.
4-13
- Samin S. Ishtiaq, Peter W. O'Hearn:
BI as an Assertion Language for Mutable Data Structures.
14-26
- Eran Yahav:
Verifying safety properties of concurrent Java programs using 3-valued logic.
27-40
- Martin Odersky, Christoph Zenger, Matthias Zenger:
Colored local type inference.
41-53
- Jakob Rehof, Manuel Fähndrich:
Type-base flow analysis: from polymorphic subtyping to CFL-reachability.
54-66
- Haruo Hosoya, Benjamin C. Pierce:
Regular expression pattern matching for XML.
67-80
- Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram:
The size-change principle for program termination.
81-92
- David Monniaux:
An abstract Monte-Carlo method for the analysis of probabilistic programs.
93-101
- Harald Ganzinger:
Efficient deductive methods for program analysis.
102-103
- Martín Abadi, Cédric Fournet:
Mobile values, new names, and secure communication.
104-115
- Asis Unyapoth, Peter Sewell:
Nomadic pict: correct communication infrastructure for mobile computation.
116-127
- Atsushi Igarashi, Naoki Kobayashi:
A generic type system for the Pi-calculus.
128-141
- George C. Necula, Shree Prakash Rahul:
Oracle-based checking of untrusted software.
142-154
- Cristiano Calcagno:
Stratified operational semantics for safety and correctness of the region calculus.
155-165
- Daniel C. Wang, Andrew W. Appel:
Type-preserving garbage collectors.
166-178
- Mahmut T. Kandemir:
A compiler technique for improving whole-program locality.
179-192
- Cormac Flanagan, James B. Saxe:
Avoiding exponential explosion: generating compact verification conditions.
193-205
- Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter:
What packets may come: automata for network monitoring.
206-219
- Robin Milner:
Computational flux.
220-221
- Michele Bugliesi, Giuseppe Castagna:
Secure safe ambients.
222-235
- Peter Sewell:
Modules, abstract types, and distributed versioning.
236-247
- Andrew D. Gordon, Don Syme:
Typing a multi-language intermediate code.
248-260
- Mark Shields, Erik Meijer:
Type-indexed rows.
261-275
- Joseph Gil:
Subtyping arithmetical types.
276-289
- Jerome Vouillon:
Combining subsumption and binary methods: an object calculus with views.
290-303
Last update Fri May 25 08:33:01 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
