31. POPL 2004: Venice, Italy

@proceedings{DBLP:conf/popl/2004,
  editor    = {Neil D. Jones and
               Xavier Leroy},
  title     = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles
               of Programming Languages, POPL 2004, Venice, Italy, January 14-16,
               2004},
  booktitle = {POPL},
  publisher = {ACM},
  year      = {2004},
  isbn      = {1-58113-729-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Xavier Rival:
  Symbolic transfer function-based approaches to certified compilation. 1-13
  Electronic Edition (ACM DL) BibTeX
• Nick Benton:
  Simple relational correctness proofs for static analyses and program transformations. 14-25
  Electronic Edition (ACM DL) BibTeX
• Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen:
  Incremental execution of transformation specifications. 26-38
  Electronic Edition (ACM DL) BibTeX
• Dachuan Yu, Andrew Kennedy, Don Syme:
  Formalization of generics for the .NET common language runtime. 39-51
  Electronic Edition (ACM DL) BibTeX
• Jerome Vouillon, Paul-André Melliès:
  Semantic types: a fresh look at the ideal model for types. 52-63
  Electronic Edition (ACM DL) BibTeX
• Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore:
  Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. 64-76
  Electronic Edition (ACM DL) BibTeX
• Marcelo P. Fiore:
  Isomorphisms of generic recursive polynomial types. 77-88
  Electronic Edition (ACM DL) BibTeX
• François Pottier, Nadji Gauthier:
  Polymorphic typed defunctionalization. 89-98
  Electronic Edition (ACM DL) BibTeX
• Patricia Johann, Janis Voigtländer:
  Free theorems in the presence of seq. 99-110
  Electronic Edition (ACM DL) BibTeX
• Bryan Ford:
  Parsing expression grammars: a recognition-based syntactic foundation. 111-122
  Electronic Edition (ACM DL) BibTeX
• Denis Caromel, Ludovic Henrio, Bernard P. Serpette:
  Asynchronous and deterministic objects. 123-134
  Electronic Edition (ACM DL) BibTeX
• Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier:
  A logic you can count on. 135-146
  Electronic Edition (ACM DL) BibTeX
• Nobuko Yoshida:
  Channel dependent types for higher-order mobile processes. 147-160
  Electronic Edition (ACM DL) BibTeX
• Eijiro Sumii, Benjamin C. Pierce:
  A bisimulation for dynamic sealing. 161-172
  Electronic Edition (ACM DL) BibTeX
• Patrick Cousot, Radhia Cousot:
  An abstract interpretation-based framework for software watermarking. 173-185
  Electronic Edition (ACM DL) BibTeX
• Roberto Giacobazzi, Isabella Mastroeni:
  Abstract non-interference: parameterizing non-interference by abstract interpretation. 186-197
  Electronic Edition (ACM DL) BibTeX
• Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon:
  A semantics for web services authentication. 198-209
  Electronic Edition (ACM DL) BibTeX
• Hans-Juergen Boehm:
  The space cost of lazy reference counting. 210-219
  Electronic Edition (ACM DL) BibTeX
• Lars Birkedal, Noah Torp-Smith, John C. Reynolds:
  Local reasoning about a copying garbage collector. 220-231
  Electronic Edition (ACM DL) BibTeX
• Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
  Abstractions from proofs. 232-244
  Electronic Edition (ACM DL) BibTeX
• Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof:
  Summarizing procedures in concurrent programs. 245-255
  Electronic Edition (ACM DL) BibTeX
• Cormac Flanagan, Stephen N. Freund:
  Atomizer: a dynamic atomicity checker for multithreaded programs. 256-267
  Electronic Edition (ACM DL) BibTeX
• Peter W. O'Hearn, Hongseok Yang, John C. Reynolds:
  Separation and information hiding. 268-280
  Electronic Edition (ACM DL) BibTeX
• Joshua Dunfield, Frank Pfenning:
  Tridirectional typechecking. 281-292
  Electronic Edition (ACM DL) BibTeX
• Derek Dreyer:
  A type system for well-founded recursion. 293-305
  Electronic Edition (ACM DL) BibTeX
• Davide Ancona, Elena Zucca:
  Principal typings for Java-like languages. 306-317
  Electronic Edition (ACM DL) BibTeX
• Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
  Non-linear loop invariant generation using Gröbner bases. 318-329
  Electronic Edition (ACM DL) BibTeX
• Markus Müller-Olm, Helmut Seidl:
  Precise interprocedural analysis through linear algebra. 330-341
  Electronic Edition (ACM DL) BibTeX
• Sumit Gulwani, George C. Necula:
  Global value numbering using random interpretation. 342-352
  Electronic Edition (ACM DL) BibTeX