default search action

combined dblp search
author search
venue search
publication search

ask others

28th POPL 2001: London, UK

> Home > Conferences and Workshops > POPL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/popl/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/2001
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

- ACM SIGPLAN Notices 36(3), March 2001

- view
  authority control:
- export record
  dblp key:
  - conf/popl/Mitchell01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Mitchell01
John C. Mitchell:
Programming language methods in computer security. 1-3
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Sangiorgi01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Sangiorgi01
Davide Sangiorgi:
Extensionality and Intensionality of the Ambient Logics. POPL 2001: 4-13
- view
  authority control:
- export record
  dblp key:
  - conf/popl/IshtiaqO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/IshtiaqO01
Samin S. Ishtiaq, Peter W. O'Hearn:
BI as an Assertion Language for Mutable Data Structures. POPL 2001: 14-26
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Yahav01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Yahav01
Eran Yahav:
Verifying safety properties of concurrent Java programs using 3-valued logic. 27-40
- view
  authority control:
- export record
  dblp key:
  - conf/popl/OderskyZZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/OderskyZZ01
Martin Odersky, Christoph Zenger, Matthias Zenger:
Colored local type inference. 41-53
- view
  authority control:
- export record
  dblp key:
  - conf/popl/RehofF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/RehofF01
Jakob Rehof, Manuel Fähndrich:
Type-base flow analysis: from polymorphic subtyping to CFL-reachability. 54-66
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HosoyaP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HosoyaP01
Haruo Hosoya, Benjamin C. Pierce:
Regular expression pattern matching for XML. 67-80
- view
  authority control:
- export record
  dblp key:
  - conf/popl/LeeJB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/LeeJB01
Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram:
The size-change principle for program termination. 81-92
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Monniaux01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Monniaux01
David Monniaux:
An abstract Monte-Carlo method for the analysis of probabilistic programs. 93-101
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Ganzinger01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Ganzinger01
Harald Ganzinger:
Efficient deductive methods for program analysis. 102-103
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AbadiF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AbadiF01
Martín Abadi, Cédric Fournet:
Mobile values, new names, and secure communication. 104-115
- view
  authority control:
- export record
  dblp key:
  - conf/popl/UnyapothS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/UnyapothS01
Asis Unyapoth, Peter Sewell:
Nomadic pict: correct communication infrastructure for mobile computation. 116-127
- view
  authority control:
- export record
  dblp key:
  - conf/popl/IgarashiK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/IgarashiK01
Atsushi Igarashi, Naoki Kobayashi:
A generic type system for the Pi-calculus. 128-141
- view
  authority control:
- export record
  dblp key:
  - conf/popl/NeculaR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/NeculaR01
George C. Necula, Shree Prakash Rahul:
Oracle-based checking of untrusted software. 142-154
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Calcagno01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Calcagno01
Cristiano Calcagno:
Stratified operational semantics for safety and correctness of the region calculus. 155-165
- view
  authority control:
- export record
  dblp key:
  - conf/popl/WangA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/WangA01
Daniel C. Wang, Andrew W. Appel:
Type-preserving garbage collectors. 166-178
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Kandemir01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Kandemir01
Mahmut T. Kandemir:
A compiler technique for improving whole-program locality. 179-192
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FlanaganS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FlanaganS01
Cormac Flanagan, James B. Saxe:
Avoiding exponential explosion: generating compact verification conditions. 193-205
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BhargavanCMG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BhargavanCMG01
Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter:
What packets may come: automata for network monitoring. 206-219
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Milner01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Milner01
Robin Milner:
Computational flux. 220-221
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BugliesiC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BugliesiC01
Michele Bugliesi, Giuseppe Castagna:
Secure safe ambients. 222-235
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Sewell01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Sewell01
Peter Sewell:
Modules, abstract types, and distributed versioning. 236-247
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GordonS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GordonS01
Andrew D. Gordon, Don Syme:
Typing a multi-language intermediate code. 248-260
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ShieldsM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ShieldsM01
Mark Shields, Erik Meijer:
Type-indexed rows. 261-275
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Gil01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Gil01
Joseph Gil:
Subtyping arithmetical types. 276-289
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Vouillon01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Vouillon01
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.