Search results for "ESOP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Frank S. de Boer, Dave Clarke 0001, Einar Broch Johnsen	A Complete Guide to the Future.	ESOP	2007	DBLP DOI BibTeX RDF
1	Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau	Anti-pattern Matching.	ESOP	2007	DBLP DOI BibTeX RDF
1	Helmut Seidl, Andrea Flexeder, Michael Petter	Interprocedurally Analysing Linear Inequality Relations.	ESOP	2007	DBLP DOI BibTeX RDF
1	Ichiro Hasuo, Yoshinobu Kawabe	Probabilistic Anonymity Via Coalgebraic Simulations.	ESOP	2007	DBLP DOI BibTeX RDF
1	Aleksandar Nanevski, Amal Ahmed 0001, Greg Morrisett, Lars Birkedal	Abstract Predicates and Mutable ADTs in Hoare Type Theory.	ESOP	2007	DBLP DOI BibTeX RDF
1	Robert Ennals, David Gay	Multi-language Synchronization.	ESOP	2007	DBLP DOI BibTeX RDF
1	George Kuan, David MacQueen, Robert Bruce Findler	A Rewriting Semantics for Type Inference.	ESOP	2007	DBLP DOI BibTeX RDF
1	Marco Carbone, Kohei Honda 0001, Nobuko Yoshida	Structured Communication-Centred Programming for Web Services.	ESOP	2007	DBLP DOI BibTeX RDF
1	Gilles Barthe, David Pichardie, Tamara Rezk	A Certified Lightweight Non-interference Java Bytecode Verifier.	ESOP	2007	DBLP DOI BibTeX RDF
1	Kenneth L. Knowles, Cormac Flanagan	Type Reconstruction for General Refinement Types.	ESOP	2007	DBLP DOI BibTeX RDF
1	Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert	Immutable Objects for a Java-Like Language.	ESOP	2007	DBLP DOI BibTeX RDF
1	Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit	Path Optimization in Programs and Its Application to Debugging.	ESOP	2006	DBLP DOI BibTeX RDF
1	Vasileios Koutavas, Mitchell Wand	Bisimulations for Untyped Imperative Objects.	ESOP	2006	DBLP DOI BibTeX RDF
1	Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey	Size-Change Termination Analysis in k-Bits.	ESOP	2006	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller 0001	A Verification Methodology for Model Fields.	ESOP	2006	DBLP DOI BibTeX RDF
1	Xavier Leroy	Coinductive Big-Step Operational Semantics.	ESOP	2006	DBLP DOI BibTeX RDF
1	Amal J. Ahmed 0001	Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.	ESOP	2006	DBLP DOI BibTeX RDF
1	Nicu G. Fruja	Type Safety of Generics for the .NET Common Language Runtime.	ESOP	2006	DBLP DOI BibTeX RDF
1	C. Barry Jay, Delia Kesner	Pure Pattern Calculus.	ESOP	2006	DBLP DOI BibTeX RDF
1	Alexander J. Summers, Steffen van Bakel	Approaches to Polymorphism in Classical Sequent Calculus.	ESOP	2006	DBLP DOI BibTeX RDF
1	Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg	Inference of User-Defined Type Qualifiers and Qualifier Rules.	ESOP	2006	DBLP DOI BibTeX RDF
1	Michael Furr, Jeffrey S. Foster	Polymorphic Type Inference for the JNI.	ESOP	2006	DBLP DOI BibTeX RDF
1	Matthew Fluet, Greg Morrisett, Amal J. Ahmed 0001	Linear Regions Are All You Need.	ESOP	2006	DBLP DOI BibTeX RDF
1	Limin Jia 0001, David Walker 0001	ILC: A Foundation for Automated Reasoning About Pointer Programs.	ESOP	2006	DBLP DOI BibTeX RDF
1	Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones	Haskell Is Not Not ML.	ESOP	2006	DBLP DOI BibTeX RDF
1	Gregory H. Cooper, Shriram Krishnamurthi	Embedding Dynamic Dataflow in a Call-by-Value Language.	ESOP	2006	DBLP DOI BibTeX RDF
1	Sophia Drossopoulou, David G. Clarke, James Noble 0001	Types for Hierarchic Shapes.	ESOP	2006	DBLP DOI BibTeX RDF
1	Samuele Carpineti, Cosimo Laneve	A Basic Contract Language for Web Services.	ESOP	2006	DBLP DOI BibTeX RDF
1	Niklas Broberg, David Sands 0001	Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.	ESOP	2006	DBLP DOI BibTeX RDF
1	João Costa Seco, Luís Caires	Types for Dynamic Reconfiguration.	ESOP	2006	DBLP DOI BibTeX RDF
1	Dachuan Yu, Nayeem Islam	A Typed Assembly Language for Confidentiality.	ESOP	2006	DBLP DOI BibTeX RDF
1	Benjamin C. Pierce	The Weird World of Bi-directional Programming.	ESOP	2006	DBLP DOI BibTeX RDF
1	Peter Sestoft (eds.)	Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings	ESOP	2006	DBLP DOI BibTeX RDF
1	Sumit Gulwani, Ashish Tiwari 0001	Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.	ESOP	2006	DBLP DOI BibTeX RDF
1	Martin Hofmann 0001, Steffen Jost	Type-Based Amortised Heap-Space Analysis.	ESOP	2006	DBLP DOI BibTeX RDF
1	Alan Jeffrey, Julian Rathke	Java Jr: Fully Abstract Trace Semantics for a Core Java Language.	ESOP	2005	DBLP DOI BibTeX RDF
1	Shmuel Sagiv (eds.)	Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings	ESOP	2005	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	Towards a Type System for Analyzing JavaScript Programs.	ESOP	2005	DBLP DOI BibTeX RDF
1	Lunjin Lu, Andy King	Determinacy Inference for Logic Programs.	ESOP	2005	DBLP DOI BibTeX RDF
1	Andrew C. Myers	Programming with Explicit Security Policies.	ESOP	2005	DBLP DOI BibTeX RDF
1	Stephen Tse, Steve Zdancewic	A Design for a Security-Typed Language with Certificate-Based Declassification.	ESOP	2005	DBLP DOI BibTeX RDF
1	Henning Makholm, J. B. Wells	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	ESOP	2005	DBLP DOI BibTeX RDF
1	Markus Müller-Olm, Helmut Seidl, Bernhard Steffen	Interprocedural Herbrand Equalities.	ESOP	2005	DBLP DOI BibTeX RDF
1	Oukseh Lee, Hongseok Yang, Kwangkeun Yi	Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.	ESOP	2005	DBLP DOI BibTeX RDF
1	Véronique Cortier, Bogdan Warinschi	Computationally Sound, Automated Proofs for Security Protocols.	ESOP	2005	DBLP DOI BibTeX RDF
1	Andreas Podelski, Ina Schaefer, Silke Wagner	Summaries for While Programs with Recursion.	ESOP	2005	DBLP DOI BibTeX RDF
1	Olin Shivers, Mitchell Wand	Bottom-Up beta-Reduction: Uplinks and lambda-DAGs.	ESOP	2005	DBLP DOI BibTeX RDF
1	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, Matthew B. Dwyer, John Hatcliff	A New Foundation for Control-Dependence and Slicing for Modern Program Structures.	ESOP	2005	DBLP DOI BibTeX RDF
1	Joachim Niehren, Tim Priesnitz, Zhendong Su 0001	Complexity of Subtype Satisfiability over Posets.	ESOP	2005	DBLP DOI BibTeX RDF
1	Bernhard Reus, Jan Schwinghammer	Denotational Semantics for Abadi and Leino's Logic of Objects.	ESOP	2005	DBLP DOI BibTeX RDF
1	Steve Kremer, Mark Ryan 0001	Analysis of an Electronic Voting Protocol in the Applied Pi Calculus.	ESOP	2005	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	The ASTREÉ Analyzer.	ESOP	2005	DBLP DOI BibTeX RDF
1	Markus Müller-Olm, Helmut Seidl	Analysis of Modular Arithmetic.	ESOP	2005	DBLP DOI BibTeX RDF
1	Romain Janvier, Yassine Lakhnech, Laurent Mazaré	Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.	ESOP	2005	DBLP DOI BibTeX RDF
1	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	Enforcing Resource Bounds via Static Verification of Dynamic Checks.	ESOP	2005	DBLP DOI BibTeX RDF
1	Laurent Mauborgne, Xavier Rival	Trace Partitioning in Abstract Interpretation Based Static Analyzers.	ESOP	2005	DBLP DOI BibTeX RDF
1	João Costa Seco, Luís Caires	Subtyping First-Class Polymorphic Components.	ESOP	2005	DBLP DOI BibTeX RDF
1	Michael Leuschel, Germán Vidal	Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.	ESOP	2005	DBLP DOI BibTeX RDF
1	Nadia Busi, Gianluigi Zavattaro	Deciding Reachability in Mobile Ambients.	ESOP	2005	DBLP DOI BibTeX RDF
1	Martin Wildmoser, Tobias Nipkow	Asserting Bytecode Safety.	ESOP	2005	DBLP DOI BibTeX RDF
1	Mayur Naik, Jens Palsberg	A Type System Equivalent to a Model Checker.	ESOP	2005	DBLP DOI BibTeX RDF
1	Hideki Tsuiki, Keiji Sugihara	Streams with a Bottom in Functional Languages.	ESOP	2005	DBLP DOI BibTeX RDF
1	Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis	A Type Discipline for Authorization Policies.	ESOP	2005	DBLP DOI BibTeX RDF
1	Bodil Biering, Lars Birkedal, Noah Torp-Smith	BI Hyperdoctrines and Higher-Order Separation Logic.	ESOP	2005	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi, Isabella Mastroeni	Adjoining Declassification and Attack Models by Abstract Interpretation.	ESOP	2005	DBLP DOI BibTeX RDF	abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
1	René Rydhof Hansen	A Hardest Attacker for Leaking References.	ESOP	2004	DBLP DOI BibTeX RDF
1	David A. Schmidt (eds.)	Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings	ESOP	2004	DBLP DOI BibTeX RDF
1	Francesca Levi, Chiara Bodei	A Control Flow Analysis for Safe and Boxed Ambients.	ESOP	2004	DBLP DOI BibTeX RDF
1	Cédric Lhoussaine, Vladimiro Sassone	A Dependently Typed Ambient Calculus.	ESOP	2004	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Compositional Analysis of Authentication Protocols.	ESOP	2004	DBLP DOI BibTeX RDF
1	Mats Carlsson, Nicolas Beldiceanu	From Constraints to Finite Automata to Filtering Algorithms.	ESOP	2004	DBLP DOI BibTeX RDF
1	Limin Jia 0001, David Walker 0001	Modal Proofs as Distributed Programs (Extended Abstract).	ESOP	2004	DBLP DOI BibTeX RDF
1	Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann	Sound and Decidable Type Inference for Functional Dependencies.	ESOP	2004	DBLP DOI BibTeX RDF
1	Martín Abadi, Bruno Blanchet, Cédric Fournet	Just Fast Keying in the Pi Calculus.	ESOP	2004	DBLP DOI BibTeX RDF
1	David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu	Extracting a Data Flow Analyser in Constructive Logic.	ESOP	2004	DBLP DOI BibTeX RDF
1	Arend Rensink	Canonical Graph Shapes.	ESOP	2004	DBLP DOI BibTeX RDF
1	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types.	ESOP	2004	DBLP DOI BibTeX RDF
1	Vitaly Shmatikov	Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation.	ESOP	2004	DBLP DOI BibTeX RDF
1	Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking	A Semantic Framework for Designer Transactions.	ESOP	2004	DBLP DOI BibTeX RDF
1	Cristiano Calcagno, Eugenio Moggi, Walid Taha	ML-Like Inference for Classifiers.	ESOP	2004	DBLP DOI BibTeX RDF
1	Per Gustafsson, Konstantinos Sagonas	Adaptive Pattern Matching on Binary Data.	ESOP	2004	DBLP DOI BibTeX RDF
1	Robert Ennals, Richard Sharp, Alan Mycroft	Linear Types for Packet Processing.	ESOP	2004	DBLP DOI BibTeX RDF
1	Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen	Trust Management in Strand Spaces: A Rely-Guarantee Method.	ESOP	2004	DBLP DOI BibTeX RDF
1	Antoine Miné	Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.	ESOP	2004	DBLP DOI BibTeX RDF
1	Francesco Ranzato, Francesco Tapparo	Strong Preservation as Completeness in Abstract Interpretation.	ESOP	2004	DBLP DOI BibTeX RDF
1	Jérôme Feret	Static Analysis of Digital Filters.	ESOP	2004	DBLP DOI BibTeX RDF
1	Andrew Phillips, Nobuko Yoshida, Susan Eisenbach	A Distributed Abstract Machine for Boxed Ambient Calculi.	ESOP	2004	DBLP DOI BibTeX RDF
1	Salvador España Boquera, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
1	Dan R. Ghica	Semantical Analysis of Specification Logic, 3: An Operational Approach.	ESOP	2004	DBLP DOI BibTeX RDF
1	Peter W. O'Hearn	Resources, Concurrency, and Local Reasoning (Abstract).	ESOP	2004	DBLP DOI BibTeX RDF
1	Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury	System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.	ESOP	2004	DBLP DOI BibTeX RDF
1	Gérard Boudol	ULM: A Core Programming Model for Global Computing: (Extended Abstract).	ESOP	2004	DBLP DOI BibTeX RDF
1	Hayo Thielecke	Answer Type Polymorphism in Call-by-Name Continuation Passing.	ESOP	2004	DBLP DOI BibTeX RDF
1	Jean-Christophe Filliâtre, Pierre Letouzey	Functors for Proofs and Programs.	ESOP	2004	DBLP DOI BibTeX RDF
1	Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao	Building Certified Libraries for PCC: Dynamic Storage Allocation.	ESOP	2003	DBLP DOI BibTeX RDF
1	Hubert Comon-Lundh, Véronique Cortier	Security Properties: Two Agents Are Sufficient.	ESOP	2003	DBLP DOI BibTeX RDF
1	Cédric Lhoussaine	Type Inference for a Distributed pi-Calculus.	ESOP	2003	DBLP DOI BibTeX RDF
1	Catherine Meadows 0001	What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis.	ESOP	2003	DBLP DOI BibTeX RDF
1	María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi	Correction of Functional Logic Programs.	ESOP	2003	DBLP DOI BibTeX RDF
1	Simone Tini	Rule Formats for Non Interference.	ESOP	2003	DBLP DOI BibTeX RDF

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