Conferences in DBLP
Xavier Leroy Computer Security from a Programming Language and Static Analysis Perspective. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:1-9 [Conf ] Catherine Meadows What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:10-21 [Conf ] John Clements , Matthias Felleisen A Tail-Recursive Semantics for Stack Inspections. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:22-37 [Conf ] Sophia Drossopoulou , Giovanni Lagorio , Susan Eisenbach Flexible Models for Dynamic Linking. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:38-53 [Conf ] María Alpuente , Demis Ballis , Francisco J. Correa , Moreno Falaschi Correction of Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:54-68 [Conf ] Luís Fernando Castro , David Scott Warren Approximate Pruning in Tabled Logic Programming. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:69-83 [Conf ] Samir Genaim , Andy King Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:84-98 [Conf ] Hubert Comon-Lundh , Véronique Cortier Security Properties: Two Agents Are Sufficient. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:99-113 [Conf ] Roberto Gorrieri , Enrico Locatelli , Fabio Martinelli A Simple Language for Real-Time Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:114-128 [Conf ] Simone Tini Rule Formats for Non Interference. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:129-143 [Conf ] Pablo Giambiagi , Mads Dam On the Secure Implementation of Security Protocols. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:144-158 [Conf ] Peeter Laud Handling Encryption in an Analysis for Secure Information Flow. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:159-173 [Conf ] Karine Altisen , Aurélie Clodic , Florence Maraninchi , Éric Rutten Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:174-188 [Conf ] Cormac Flanagan Automatic Software Model Checking Using CLP. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:189-203 [Conf ] Eran Yahav , Thomas W. Reps , Shmuel Sagiv , Reinhard Wilhelm Verifying Temporal Heap Properties Specified via Evolution Logic. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:204-222 [Conf ] Uday S. Reddy , Hongseok Yang Correctness of Data Representations Involving Heap Data Structures. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:223-237 [Conf ] Paul T. Graunke , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen Modeling Web Interactions. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:238-252 [Conf ] Cédric Lhoussaine Type Inference for a Distributed pi-Calculus. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:253-268 [Conf ] Martin Erwig , Deling Ren Programming Type-Safe Program Updates. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:269-283 [Conf ] Christian Haack , J. B. Wells Type Error Slicing in Implicitly Typed Higher-Order Languages. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:284-301 [Conf ] Vincent Danos , Cosimo Laneve Core Formal Molecular Biology. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:302-318 [Conf ] Marc Geilen , Twan Basten Requirements on the Execution of Kahn Process Networks. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:319-334 [Conf ] Olivier Danvy , Pablo E. Martínez López Tagging, Encoding, and Jones Optimality. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:335-347 [Conf ] Leonor Prensa Nieto The Rely-Guarantee Method in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:348-362 [Conf ] Dachuan Yu , Nadeem Abdul Hamid , Zhong Shao Building Certified Libraries for PCC: Dynamic Storage Allocation. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:363-379 [Conf ] Thomas W. Reps , Shmuel Sagiv , Alexey Loginov Finite Differencing of Logical Formulas for Static Analysis. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:380-398 [Conf ] Atsushi Ohori Register Allocation by Proof Transformation. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:399-413 [Conf ]