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