The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
2001 (conf/popl/2001)

  1. John C. Mitchell
    Programming language methods in computer security. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:1-3 [Conf]
  2. Davide Sangiorgi
    Extensionality and Intensionality of the Ambient Logics. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:4-13 [Conf]
  3. 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]
  4. Eran Yahav
    Verifying safety properties of concurrent Java programs using 3-valued logic. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:27-40 [Conf]
  5. Martin Odersky, Christoph Zenger, Matthias Zenger
    Colored local type inference. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:41-53 [Conf]
  6. 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]
  7. Haruo Hosoya, Benjamin C. Pierce
    Regular expression pattern matching for XML. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:67-80 [Conf]
  8. 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]
  9. David Monniaux
    An abstract Monte-Carlo method for the analysis of probabilistic programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:93-101 [Conf]
  10. Harald Ganzinger
    Efficient deductive methods for program analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:102-103 [Conf]
  11. Martín Abadi, Cédric Fournet
    Mobile values, new names, and secure communication. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:104-115 [Conf]
  12. Asis Unyapoth, Peter Sewell
    Nomadic pict: correct communication infrastructure for mobile computation. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:116-127 [Conf]
  13. Atsushi Igarashi, Naoki Kobayashi
    A generic type system for the Pi-calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:128-141 [Conf]
  14. George C. Necula, Shree Prakash Rahul
    Oracle-based checking of untrusted software. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:142-154 [Conf]
  15. Cristiano Calcagno
    Stratified operational semantics for safety and correctness of the region calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:155-165 [Conf]
  16. Daniel C. Wang, Andrew W. Appel
    Type-preserving garbage collectors. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:166-178 [Conf]
  17. Mahmut T. Kandemir
    A compiler technique for improving whole-program locality. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:179-192 [Conf]
  18. Cormac Flanagan, James B. Saxe
    Avoiding exponential explosion: generating compact verification conditions. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:193-205 [Conf]
  19. 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]
  20. Robin Milner
    Computational flux. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:220-221 [Conf]
  21. Michele Bugliesi, Giuseppe Castagna
    Secure safe ambients. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:222-235 [Conf]
  22. Peter Sewell
    Modules, abstract types, and distributed versioning. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:236-247 [Conf]
  23. Andrew D. Gordon, Don Syme
    Typing a multi-language intermediate code. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:248-260 [Conf]
  24. Mark Shields, Erik Meijer
    Type-indexed rows. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:261-275 [Conf]
  25. Joseph Gil
    Subtyping arithmetical types. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:276-289 [Conf]
  26. Jerome Vouillon
    Combining subsumption and binary methods: an object calculus with views. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:290-303 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002