Conferences in DBLP
Luca Cardelli , Giorgio Ghelli A Query Language Based on the Ambient Logic. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Mitchell Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] François Pottier , Christian Skalka , Scott F. Smith A Systematic Approach to Static Access Control. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Zdancewic , Andrew C. Myers Secure Information Flow and CPS. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Thiemann Enforcing Safety Properties Using Type Specialization. [Citation Graph (0, 0)][DBLP ] Conf ] Peeter Laud Semantics and Program Analysis of Computationally Secure Information Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanie Weirich Encoding Intensional Type Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Carl Backhouse Fusion on Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Paul T. Graunke , Shriram Krishnamurthi , Steve Van Der Hoeven , Matthias Felleisen Programming the Web with High-Level Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Ranzato On the Completeness of Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Huth , Radha Jagadeesan , David A. Schmidt Modal Transition Systems: A Foundation for Three-Valued Program Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Zhendong Su , Alexander Aiken Entailment with Conditional Equality Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Müller-Olm , Oliver Rüthing On the Complexity of Constant Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Amtoft , A. J. Kfoury , Santiago M. Pericás-Geertsen What Are Polymorphically-Typed Ambients? [Citation Graph (0, 0)][DBLP ] Conf ] Sylvain Conchon , François Pottier JOIN(X): Constraint-Based Type Inference for the Join-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Cuoq , Marc Pouzet Modular Causality in a Synchronous Stream Language. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson , Helmut Seidl Control-Flow Analysis in Cubic Time. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Boudol The Recursive Record Semantics of Objects Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Jacobs A Formalisation of Java's Exception Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Barthe , Guillaume Dufay , Line Jakubiec , Bernard P. Serpette , Simão Melo de Sousa A Formal Executable Semantics of the JavaCard Platform. [Citation Graph (0, 0)][DBLP ] Conf ] John Clements , Matthew Flatt , Matthias Felleisen Modeling an Algebraic Stepper. [Citation Graph (0, 0)][DBLP ] Conf ] Zhichen Xu , Thomas W. Reps , Barton P. Miller Typestate Checking of Machine Code. [Citation Graph (0, 0)][DBLP ] Conf ] Shin-ya Katsumata , Atsushi Ohori Proof-Directed De-compilation of Low-Level Code. [Citation Graph (0, 0)][DBLP ] Conf ] David Monniaux Backwards Abstract Interpretation of Probabilistic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Raghavan Komondoor , Susan Horwitz Tool Demonstration: Finding Duplicated Code Using Program Dependences. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Andrea Schaerf Compiling Problem Specifications into SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Sandro Etalle , Sabina Rossi , Jan-Georg Smaus Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Samir Genaim , Michael Codish The Def-inite Approach to Dependency Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] 