31. POPL 2004: Venice, Italy

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

Last update Fri May 24 19:43:29 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page