28. POPL 2001: London, UK

• John C. Mitchell:
  Programming language methods in computer security. 1-3, (ACM SIGPLAN Notices 36(3), March 2001)
  
• 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, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Martin Odersky, Christoph Zenger, Matthias Zenger:
  Colored local type inference. 41-53, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Jakob Rehof, Manuel Fähndrich:
  Type-base flow analysis: from polymorphic subtyping to CFL-reachability. 54-66, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Haruo Hosoya, Benjamin C. Pierce:
  Regular expression pattern matching for XML. 67-80, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram:
  The size-change principle for program termination. 81-92, (ACM SIGPLAN Notices 36(3), March 2001)
  
• David Monniaux:
  An abstract Monte-Carlo method for the analysis of probabilistic programs. 93-101, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Harald Ganzinger:
  Efficient deductive methods for program analysis. 102-103, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Martín Abadi, Cédric Fournet:
  Mobile values, new names, and secure communication. 104-115, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Asis Unyapoth, Peter Sewell:
  Nomadic pict: correct communication infrastructure for mobile computation. 116-127, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Atsushi Igarashi, Naoki Kobayashi:
  A generic type system for the Pi-calculus. 128-141, (ACM SIGPLAN Notices 36(3), March 2001)
  
• George C. Necula, Shree Prakash Rahul:
  Oracle-based checking of untrusted software. 142-154, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Cristiano Calcagno:
  Stratified operational semantics for safety and correctness of the region calculus. 155-165, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Daniel C. Wang, Andrew W. Appel:
  Type-preserving garbage collectors. 166-178, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Mahmut T. Kandemir:
  A compiler technique for improving whole-program locality. 179-192, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Cormac Flanagan, James B. Saxe:
  Avoiding exponential explosion: generating compact verification conditions. 193-205, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter:
  What packets may come: automata for network monitoring. 206-219, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Robin Milner:
  Computational flux. 220-221, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Michele Bugliesi, Giuseppe Castagna:
  Secure safe ambients. 222-235, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Peter Sewell:
  Modules, abstract types, and distributed versioning. 236-247, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Andrew D. Gordon, Don Syme:
  Typing a multi-language intermediate code. 248-260, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Mark Shields, Erik Meijer:
  Type-indexed rows. 261-275, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Joseph Gil:
  Subtyping arithmetical types. 276-289, (ACM SIGPLAN Notices 36(3), March 2001)
  
• Jerome Vouillon:
  Combining subsumption and binary methods: an object calculus with views. 290-303, (ACM SIGPLAN Notices 36(3), March 2001)
  

Last update Fri May 24 19:43:30 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page