default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th POPL 2001: London, UK
- Chris Hankin, Dave Schmidt:
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
- John C. Mitchell:
Programming language methods in computer security. 1-3 - Davide Sangiorgi:
Extensionality and Intensionality of the Ambient Logics. POPL 2001: 4-13 - Samin S. Ishtiaq
, Peter W. O'Hearn:
BI as an Assertion Language for Mutable Data Structures. POPL 2001: 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
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-05-29 23:39 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:
