default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st POPL 2004: Venice, Italy
- Neil D. Jones, Xavier Leroy:
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 - 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 - Jana 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-06 00:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
