Abstract is missing.
- Symbolic transfer function-based approaches to certified compilationXavier Rival. 1-13 [doi]
- Simple relational correctness proofs for static analyses and program transformationsNick Benton. 14-25 [doi]
- Incremental execution of transformation specificationsGanesh Sittampalam, Oege de Moor, Ken Friis Larsen. 26-38 [doi]
- Formalization of generics for the .NET common language runtimeDachuan Yu, Andrew Kennedy, Don Syme. 39-51 [doi]
- Semantic types: a fresh look at the ideal model for typesJerome Vouillon, Paul-André Melliès. 52-63 [doi]
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sumsVincent Balat, Roberto Di Cosmo, Marcelo P. Fiore. 64-76 [doi]
- Isomorphisms of generic recursive polynomial typesMarcelo P. Fiore. 77-88 [doi]
- Polymorphic typed defunctionalizationFrançois Pottier, Nadji Gauthier. 89-98 [doi]
- Free theorems in the presence of seqPatricia Johann, Janis Voigtländer. 99-110 [doi]
- Parsing expression grammars: a recognition-based syntactic foundationBryan Ford. 111-122 [doi]
- Asynchronous and deterministic objectsDenis Caromel, Ludovic Henrio, Bernard P. Serpette. 123-134 [doi]
- A logic you can count onSilvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier. 135-146 [doi]
- Channel dependent types for higher-order mobile processesNobuko Yoshida. 147-160 [doi]
- A bisimulation for dynamic sealingEijiro Sumii, Benjamin C. Pierce. 161-172 [doi]
- An abstract interpretation-based framework for software watermarkingPatrick Cousot, Radhia Cousot. 173-185 [doi]
- Abstract non-interference: parameterizing non-interference by abstract interpretationRoberto Giacobazzi, Isabella Mastroeni. 186-197 [doi]
- A semantics for web services authenticationKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon. 198-209 [doi]
- The space cost of lazy reference countingHans-Juergen Boehm. 210-219 [doi]
- Local reasoning about a copying garbage collectorLars Birkedal, Noah Torp-Smith, John C. Reynolds. 220-231 [doi]
- Abstractions from proofsThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan. 232-244 [doi]
- Summarizing procedures in concurrent programsShaz Qadeer, Sriram K. Rajamani, Jakob Rehof. 245-255 [doi]
- Atomizer: a dynamic atomicity checker for multithreaded programsCormac Flanagan, Stephen N. Freund. 256-267 [doi]
- Separation and information hidingPeter W. O Hearn, Hongseok Yang, John C. Reynolds. 268-280 [doi]
- Tridirectional typecheckingJoshua Dunfield, Frank Pfenning. 281-292 [doi]
- A type system for well-founded recursionDerek Dreyer. 293-305 [doi]
- Principal typings for Java-like languagesDavide Ancona, Elena Zucca. 306-317 [doi]
- Non-linear loop invariant generation using Gröbner basesSriram Sankaranarayanan, Henny Sipma, Zohar Manna. 318-329 [doi]
- Precise interprocedural analysis through linear algebraMarkus Müller-Olm, Helmut Seidl. 330-341 [doi]
- Global value numbering using random interpretationSumit Gulwani, George C. Necula. 342-352 [doi]