Search results for "ESOP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	John Clements, Matthias Felleisen	A Tail-Recursive Semantics for Stack Inspections.	ESOP	2003	DBLP DOI BibTeX RDF
1	Atsushi Ohori	Register Allocation by Proof Transformation.	ESOP	2003	DBLP DOI BibTeX RDF
1	Pablo Giambiagi, Mads Dam	On the Secure Implementation of Security Protocols.	ESOP	2003	DBLP DOI BibTeX RDF
1	Martin Erwig, Deling Ren	Programming Type-Safe Program Updates.	ESOP	2003	DBLP DOI BibTeX RDF
1	Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli	A Simple Language for Real-Time Cryptographic Protocol Analysis.	ESOP	2003	DBLP DOI BibTeX RDF
1	Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Verifying Temporal Heap Properties Specified via Evolution Logic.	ESOP	2003	DBLP DOI BibTeX RDF
1	Samir Genaim, Andy King	Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling.	ESOP	2003	DBLP DOI BibTeX RDF
1	Uday S. Reddy, Hongseok Yang	Correctness of Data Representations Involving Heap Data Structures.	ESOP	2003	DBLP DOI BibTeX RDF
1	Vincent Danos, Cosimo Laneve	Core Formal Molecular Biology.	ESOP	2003	DBLP DOI BibTeX RDF
1	Pierpaolo Degano (eds.)	Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings	ESOP	2003	DBLP DOI BibTeX RDF
1	Thomas W. Reps, Shmuel Sagiv, Alexey Loginov	Finite Differencing of Logical Formulas for Static Analysis.	ESOP	2003	DBLP DOI BibTeX RDF
1	Xavier Leroy	Computer Security from a Programming Language and Static Analysis Perspective.	ESOP	2003	DBLP DOI BibTeX RDF
1	Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach	Flexible Models for Dynamic Linking.	ESOP	2003	DBLP DOI BibTeX RDF
1	Olivier Danvy, Pablo E. Martínez López	Tagging, Encoding, and Jones Optimality.	ESOP	2003	DBLP DOI BibTeX RDF
1	Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen	Modeling Web Interactions.	ESOP	2003	DBLP DOI BibTeX RDF
1	Luís Fernando Castro, David Scott Warren	Approximate Pruning in Tabled Logic Programming.	ESOP	2003	DBLP DOI BibTeX RDF
1	Marc Geilen, Twan Basten	Requirements on the Execution of Kahn Process Networks.	ESOP	2003	DBLP DOI BibTeX RDF	Kahn Principle, multi-processor architectures, streaming, signal processing, dynamic scheduling, media processing, Kahn process networks, deadlock resolution
1	Leonor Prensa Nieto	The Rely-Guarantee Method in Isabelle/HOL.	ESOP	2003	DBLP DOI BibTeX RDF
1	Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten	Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.	ESOP	2003	DBLP DOI BibTeX RDF
1	Peeter Laud	Handling Encryption in an Analysis for Secure Information Flow.	ESOP	2003	DBLP DOI BibTeX RDF
1	Cormac Flanagan	Automatic Software Model Checking Using CLP.	ESOP	2003	DBLP DOI BibTeX RDF
1	Christian Haack, Joe B. Wells	Type Error Slicing in Implicitly Typed Higher-Order Languages.	ESOP	2003	DBLP DOI BibTeX RDF
1	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	An Accumulative Parallel Skeleton for All.	ESOP	2002	DBLP DOI BibTeX RDF
1	Neal Glew	A Theory of Second-Order Trees.	ESOP	2002	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Soft Concurrent Constraint Programming.	ESOP	2002	DBLP DOI BibTeX RDF
1	Mahmut T. Kandemir	Data Space Oriented Tiling.	ESOP	2002	DBLP DOI BibTeX RDF
1	Stephanie Weirich	Higher-Order Intensional Type Analysis.	ESOP	2002	DBLP DOI BibTeX RDF
1	Morgan McGuire, Shriram Krishnamurthi, John F. Hughes	Programming Languages for Compressing Graphics.	ESOP	2002	DBLP DOI BibTeX RDF
1	Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov	Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.	ESOP	2002	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Thread-Modular Verification for Shared-Memory Programs.	ESOP	2002	DBLP DOI BibTeX RDF
1	Eric Goubault, Matthieu Martel, Sylvie Putot	Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.	ESOP	2002	DBLP DOI BibTeX RDF
1	Matthieu Martel	Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.	ESOP	2002	DBLP DOI BibTeX RDF	IEEE Standard 754, Abstract Interpretation, Floating-point Arithmetic, Numerical Precision
1	J. Gregory Morrisett	Type Checking Systems Code.	ESOP	2002	DBLP DOI BibTeX RDF
1	Jérôme Feret	Dependency Analysis of Mobile Systems.	ESOP	2002	DBLP DOI BibTeX RDF
1	Tom Hirschowitz, Xavier Leroy	Mixin Modules in a Call-by-Value Setting.	ESOP	2002	DBLP DOI BibTeX RDF
1	Susan Horwitz	Tool Support for Improving Test Coverage.	ESOP	2002	DBLP DOI BibTeX RDF
1	Dan Grossman	Existential Types for Imperative Languages.	ESOP	2002	DBLP DOI BibTeX RDF
1	Joe B. Wells, Christian Haack	Branching Types.	ESOP	2002	DBLP DOI BibTeX RDF
1	James Laird	Exceptions, Continuations and Macro-expressiveness.	ESOP	2002	DBLP DOI BibTeX RDF
1	David Aspinall 0001, Martin Hofmann 0001	Another Type System for In-Place Update.	ESOP	2002	DBLP DOI BibTeX RDF
1	Daniel Le Métayer (eds.)	Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings	ESOP	2002	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Helmut Seidl	Automatic Complexity Analysis.	ESOP	2002	DBLP DOI BibTeX RDF	automatic complexity analysis, Program analysis, sparseness, Horn clauses
1	Peter Thiemann 0001	A Prototype Dependency Calculus.	ESOP	2002	DBLP DOI BibTeX RDF
1	Mitchell Wand, Galen B. Williamson	A Modular, Extensible Proof Method for Small-Step Flow Analyses.	ESOP	2002	DBLP DOI BibTeX RDF
1	Witold Charatonik, Andrew D. Gordon 0001, Jean-Marc Talbot	Finite-Control Mobile Ambients.	ESOP	2002	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus	Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.	ESOP	2001	DBLP DOI BibTeX RDF
1	Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen	Programming the Web with High-Level Programming Languages.	ESOP	2001	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	Enforcing Safety Properties Using Type Specialization.	ESOP	2001	DBLP DOI BibTeX RDF
1	John Clements, Matthew Flatt, Matthias Felleisen	Modeling an Algebraic Stepper.	ESOP	2001	DBLP DOI BibTeX RDF
1	Zhendong Su 0001, Alexander Aiken	Entailment with Conditional Equality Constraints.	ESOP	2001	DBLP DOI BibTeX RDF
1	Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen	What Are Polymorphically-Typed Ambients?	ESOP	2001	DBLP DOI BibTeX RDF
1	David Monniaux	Backwards Abstract Interpretation of Probabilistic Programs.	ESOP	2001	DBLP DOI BibTeX RDF
1	Zhichen Xu, Thomas W. Reps, Barton P. Miller	Typestate Checking of Machine Code.	ESOP	2001	DBLP DOI BibTeX RDF
1	François Pottier, Christian Skalka, Scott F. Smith 0001	A Systematic Approach to Static Access Control.	ESOP	2001	DBLP DOI BibTeX RDF
1	Francesco Ranzato	On the Completeness of Model Checking.	ESOP	2001	DBLP DOI BibTeX RDF
1	Raghavan Komondoor, Susan Horwitz	Tool Demonstration: Finding Duplicated Code Using Program Dependences.	ESOP	2001	DBLP DOI BibTeX RDF
1	David Sands (eds.)	Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings	ESOP	2001	DBLP DOI BibTeX RDF
1	Samir Genaim, Michael Codish	The Def-inite Approach to Dependency Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
1	Michael Huth 0001, Radha Jagadeesan, David A. Schmidt	Modal Transition Systems: A Foundation for Three-Valued Program Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
1	Marco Cadoli, Andrea Schaerf	Compiling Problem Specifications into SAT.	ESOP	2001	DBLP DOI BibTeX RDF
1	Markus Müller-Olm, Oliver Rüthing	On the Complexity of Constant Propagation.	ESOP	2001	DBLP DOI BibTeX RDF
1	John C. Mitchell	Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
1	Pascal Cuoq, Marc Pouzet	Modular Causality in a Synchronous Stream Language.	ESOP	2001	DBLP DOI BibTeX RDF
1	Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa	A Formal Executable Semantics of the JavaCard Platform.	ESOP	2001	DBLP DOI BibTeX RDF
1	Roland Carl Backhouse	Fusion on Languages.	ESOP	2001	DBLP DOI BibTeX RDF
1	Shin-ya Katsumata, Atsushi Ohori	Proof-Directed De-compilation of Low-Level Code.	ESOP	2001	DBLP DOI BibTeX RDF
1	Flemming Nielson, Helmut Seidl	Control-Flow Analysis in Cubic Time.	ESOP	2001	DBLP DOI BibTeX RDF	Horn clauses with sharing, tiling of Horn clauses, 0-CFA, Program analysis, calculus, ambient calculus
1	Steve Zdancewic, Andrew C. Myers	Secure Information Flow and CPS.	ESOP	2001	DBLP DOI BibTeX RDF
1	Gérard Boudol	The Recursive Record Semantics of Objects Revisited.	ESOP	2001	DBLP DOI BibTeX RDF
1	Luca Cardelli, Giorgio Ghelli	A Query Language Based on the Ambient Logic.	ESOP	2001	DBLP DOI BibTeX RDF
1	Bart Jacobs 0001	A Formalisation of Java's Exception Mechanism.	ESOP	2001	DBLP DOI BibTeX RDF
1	Stephanie Weirich	Encoding Intensional Type Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
1	Peeter Laud	Semantics and Program Analysis of Computationally Secure Information Flow.	ESOP	2001	DBLP DOI BibTeX RDF
1	Sylvain Conchon, François Pottier	JOIN(X): Constraint-Based Type Inference for the Join-Calculus.	ESOP	2001	DBLP DOI BibTeX RDF
1	Ewen Denney, Thomas P. Jensen	Correctness of Java Card Method Lookup via Logical Relations.	ESOP	2000	DBLP DOI BibTeX RDF
1	Olivier Danvy	Formalizing Implementation Strategies for First-Class Continuations.	ESOP	2000	DBLP DOI BibTeX RDF
1	Martin Odersky	Functional Nets.	ESOP	2000	DBLP DOI BibTeX RDF
1	Frederick Smith, David Walker 0001, J. Gregory Morrisett	Alias Types.	ESOP	2000	DBLP DOI BibTeX RDF
1	Andrew Heaton, Patricia M. Hill, Andy King	Abstract Domains for Universal and Existential Properties.	ESOP	2000	DBLP DOI BibTeX RDF
1	Kathleen Fisher, John H. Reppy, Jon G. Riecke	A Calculus for Compiling and Linking Classes.	ESOP	2000	DBLP DOI BibTeX RDF
1	Nadia Busi, Gianluigi Zavattaro	On the Expressiveness of Event Notification in Data-Driven Coordination Languages.	ESOP	2000	DBLP DOI BibTeX RDF
1	Jacob Elgaard, Anders Møller, Michael I. Schwartzbach	Compile-Time Debugging of C Programs Working on Trees.	ESOP	2000	DBLP DOI BibTeX RDF
1	Laurent Mauborgne	Improving the Representation of Infinite Trees to Deal with Sets of Trees.	ESOP	2000	DBLP DOI BibTeX RDF
1	John Hughes 0001	The Correctness of Type Specialisation.	ESOP	2000	DBLP DOI BibTeX RDF
1	François Pottier	A 3-Part Type Inference Engine.	ESOP	2000	DBLP DOI BibTeX RDF
1	Markus Müller-Olm, Andreas Wolf 0004	On the Translation of Procedures to Finite Machines.	ESOP	2000	DBLP DOI BibTeX RDF	resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer
1	Elena Machkasova, Franklyn A. Turbak	A Calculus for Link-Time Compilation.	ESOP	2000	DBLP DOI BibTeX RDF
1	Kohei Honda 0001, Vasco Thudichum Vasconcelos, Nobuko Yoshida	Secure Information Flow as Typed Process Behaviour.	ESOP	2000	DBLP DOI BibTeX RDF
1	Jacob M. Howe, Andy King	Implementing Groundness Analysis with Definite Boolean Functions.	ESOP	2000	DBLP DOI BibTeX RDF	definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs
1	Witold Charatonik	Directional Type Checking for Logic Programs: Beyond Discriminative Types.	ESOP	2000	DBLP DOI BibTeX RDF	types in logic programming, directional types, tree automata, regular types
1	Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv	A Kleene Analysis of Mobile Ambients.	ESOP	2000	DBLP DOI BibTeX RDF
1	Mark P. Jones	Type Classes with Functional Dependencies.	ESOP	2000	DBLP DOI BibTeX RDF
1	Gert Smolka (eds.)	Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings	ESOP	2000	DBLP DOI BibTeX RDF
1	J. B. Wells, René Vestergaard	Equational Reasoning for Linking with First-Class Primitive Modules.	ESOP	2000	DBLP DOI BibTeX RDF
1	Julia L. Lawall, Harry G. Mairson	Sharing Continuations: Proofnets for Languages with Explicit Control.	ESOP	2000	DBLP DOI BibTeX RDF
1	Scott F. Smith 0001, Tiejun Wang	Polyvariant Flow Analysis with Constrained Types.	ESOP	2000	DBLP DOI BibTeX RDF
1	Torben Amtoft, Franklyn A. Turbak	Faithful Translations between Polyvariant Flows and Polymorphic Types.	ESOP	2000	DBLP DOI BibTeX RDF
1	Martin Hofmann 0001	A Type System for Bounded Space and Functional In-Place Update--Extended Abstract.	ESOP	2000	DBLP DOI BibTeX RDF
1	Hayo Thielecke	On Exceptions Versus Continuations in the Presence of State.	ESOP	2000	DBLP DOI BibTeX RDF
1	Claudio V. Russo	First-Class Structures for Standard ML.	ESOP	2000	DBLP DOI BibTeX RDF

Publications at "ESOP"( http://dblp.L3S.de/Venues/ESOP )