31. POPL 2004: Venice, Italy
Neil D. Jones, Xavier Leroy (Eds.): Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004. ACM 2004 ISBN 1-58113-729-X- 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
- Bryan Ford: Parsing expression grammars: a recognition-based syntactic foundation. 111-122
- Nobuko Yoshida: Channel dependent types for higher-order mobile processes. 147-160
- 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
- Derek Dreyer: A type system for well-founded recursion. 293-305
- Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Non-linear loop invariant generation using Gröbner bases. 318-329
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team