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