Search results for "ESOP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Nikhil Swamy, Juan Chen 0002, Ravi Chugh	Enforcing Stateful Authorization and Information Flow Policies in Fine.	ESOP	2010	DBLP DOI BibTeX RDF
1	Assalé Adjé, Stéphane Gaubert, Eric Goubault	Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis.	ESOP	2010	DBLP DOI BibTeX RDF
1	Matthew L. Meola, David Walker 0001	Faulty Logic: Reasoning about Fault Tolerant Programs.	ESOP	2010	DBLP DOI BibTeX RDF
1	Keiko Nakata 0001, Tarmo Uustalu	A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While.	ESOP	2010	DBLP DOI BibTeX RDF
1	Isil Dillig, Thomas Dillig, Alex Aiken	Fluid Updates: Beyond Strong vs. Weak Updates.	ESOP	2010	DBLP DOI BibTeX RDF
1	Robert Atkey	Amortised Resource Analysis with Separation Logic.	ESOP	2010	DBLP DOI BibTeX RDF
1	Torben Amtoft, John Hatcliff, Edwin Rodríguez	Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.	ESOP	2010	DBLP DOI BibTeX RDF
1	David A. Naumann, Anindya Banerjee 0001	Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions.	ESOP	2010	DBLP DOI BibTeX RDF
1	Jan Hoffmann 0002, Martin Hofmann 0001	Amortized Resource Analysis with Polynomial Potential.	ESOP	2010	DBLP DOI BibTeX RDF
1	Sandrine Blazy, Benoît Robillard, Andrew W. Appel	Formal Verification of Coalescing Graph-Coloring Register Allocation.	ESOP	2010	DBLP DOI BibTeX RDF
1	Robert Soulé, Martin Hirzel, Robert Grimm 0001, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu	A Universal Calculus for Stream Processing Languages.	ESOP	2010	DBLP DOI BibTeX RDF
1	Radha Jagadeesan, Corin Pitcher, James Riely	Generative Operational Semantics for Relaxed Memory Models.	ESOP	2010	DBLP DOI BibTeX RDF
1	Dimitrios Vardoulakis, Olin Shivers	CFA2: A Context-Free Approach to Control-Flow Analysis.	ESOP	2010	DBLP DOI BibTeX RDF
1	Adam Koprowski, Henri Binsztok	TRX: A Formally Verified Parser Interpreter.	ESOP	2010	DBLP DOI BibTeX RDF
1	Andrew D. Gordon 0001 (eds.)	Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings	ESOP	2010	DBLP DOI BibTeX RDF
1	Jesse A. Tov, Riccardo Pucella	Stateful Contracts for Affine Types.	ESOP	2010	DBLP DOI BibTeX RDF
1	Matthew R. Lakin, Andrew M. Pitts	Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.	ESOP	2009	DBLP DOI BibTeX RDF
1	Jeremy G. Siek, Ronald Garcia, Walid Taha	Exploring the Design Space of Higher-Order Casts.	ESOP	2009	DBLP DOI BibTeX RDF
1	Maria Grazia Buscemi, Hernán C. Melgratti	Abstract Processes in Orchestration Languages.	ESOP	2009	DBLP DOI BibTeX RDF
1	Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang	Abstraction for Concurrent Objects.	ESOP	2009	DBLP DOI BibTeX RDF
1	Dimitris Mostrous, Nobuko Yoshida, Kohei Honda 0001	Global Principal Typing in Partially Commutative Asynchronous Sessions.	ESOP	2009	DBLP DOI BibTeX RDF
1	Delphine Demange, David Sands 0001	All Secrets Great and Small.	ESOP	2009	DBLP DOI BibTeX RDF
1	Daisuke Kikuchi, Naoki Kobayashi 0001	Type-Based Automated Verification of Authenticity in Cryptographic Protocols.	ESOP	2009	DBLP DOI BibTeX RDF
1	T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen	Practical Variable-Arity Polymorphism.	ESOP	2009	DBLP DOI BibTeX RDF
1	Gordon D. Plotkin, Matija Pretnar	Handlers of Algebraic Effects.	ESOP	2009	DBLP DOI BibTeX RDF
1	Hridesh Rajan, Jia Tao 0001, Steve M. Shaner, Gary T. Leavens	Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.	ESOP	2009	DBLP DOI BibTeX RDF
1	John C. Reynolds	Using Category Theory to Design Programming Languages.	ESOP	2009	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller 0001	A Basis for Verifying Multi-threaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
1	Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin	An Interval-Based Inference of Variant Parametric Types.	ESOP	2009	DBLP DOI BibTeX RDF
1	Giuseppe Castagna (eds.)	Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings	ESOP	2009	DBLP DOI BibTeX RDF
1	Hao Yuan, Patrick Th. Eugster	An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees.	ESOP	2009	DBLP DOI BibTeX RDF
1	Mauro Jaskelioff	Modular Monad Transformers.	ESOP	2009	DBLP DOI BibTeX RDF
1	Nicholas Cameron 0001, Sophia Drossopoulou	Existential Quantification for Variant Ownership.	ESOP	2009	DBLP DOI BibTeX RDF
1	Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
1	Donna Malayeri, Jonathan Aldrich	Is Structural Subtyping Useful? An Empirical Study.	ESOP	2009	DBLP DOI BibTeX RDF
1	Filippo Bonchi, Ugo Montanari	Minimization Algorithm for Symbolic Bisimilarity.	ESOP	2009	DBLP DOI BibTeX RDF
1	Aditi Barthwal, Michael Norrish	Verified, Executable Parsing.	ESOP	2009	DBLP DOI BibTeX RDF
1	Luís Caires, Hugo Torres Vieira	Conversation Types.	ESOP	2009	DBLP DOI BibTeX RDF
1	Mohammad Raza, Cristiano Calcagno, Philippa Gardner	Automatic Parallelization with Separation Logic.	ESOP	2009	DBLP DOI BibTeX RDF
1	Max Schäfer, Torbjörn Ekman 0001, Oege de Moor	Formalising and Verifying Reference Attribute Grammars in Coq.	ESOP	2009	DBLP DOI BibTeX RDF
1	Brian Campbell 0001	Amortised Memory Analysis Using the Depth of Data Structures.	ESOP	2009	DBLP DOI BibTeX RDF
1	Philip Wadler, Robert Bruce Findler	Well-Typed Programs Can't Be Blamed.	ESOP	2009	DBLP DOI BibTeX RDF
1	Eijiro Sumii	A Theory of Non-monotone Memory (Or: Contexts for free).	ESOP	2009	DBLP DOI BibTeX RDF
1	Jean-Marc Eber	The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?.	ESOP	2009	DBLP DOI BibTeX RDF
1	Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis	Deny-Guarantee Reasoning.	ESOP	2009	DBLP DOI BibTeX RDF
1	Sumit Gulwani, Madan Musuvathi	Cover Algorithms and Their Combination.	ESOP	2008	DBLP DOI BibTeX RDF
1	Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett	A Realizability Model for Impredicative Hoare Type Theory.	ESOP	2008	DBLP DOI BibTeX RDF
1	Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang	Ranking Abstractions.	ESOP	2008	DBLP DOI BibTeX RDF
1	Adam Poswolsky, Carsten Schürmann 0001	Practical Programming with Higher-Order Encodings and Dependent Types.	ESOP	2008	DBLP DOI BibTeX RDF
1	Cinzia Di Giusto, Maurizio Gabbrielli	Full Abstraction for Linda.	ESOP	2008	DBLP DOI BibTeX RDF
1	Tachio Terauchi, Adam Megacz	Inferring Channel Buffer Bounds Via Linear Programming.	ESOP	2008	DBLP DOI BibTeX RDF
1	Maria Grazia Buscemi, Ugo Montanari	Open Bisimulation for the Concurrent Constraint Pi-Calculus.	ESOP	2008	DBLP DOI BibTeX RDF
1	Gérard Boudol	Typing Safe Deallocation.	ESOP	2008	DBLP DOI BibTeX RDF
1	Sonia Estévez Martín, Antonio J. Fernández 0001, Fernando Sáenz-Pérez	Playing with TOY: Constraints and Domain Cooperation.	ESOP	2008	DBLP DOI BibTeX RDF
1	Jacob Matthews, Amal Ahmed 0001	Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.	ESOP	2008	DBLP DOI BibTeX RDF
1	Gilles Barthe, César Kunz	Certificate Translation in Abstract Interpretation.	ESOP	2008	DBLP DOI BibTeX RDF
1	Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson	Iterative Specialisation of Horn Clauses.	ESOP	2008	DBLP DOI BibTeX RDF
1	David Herman, Mitchell Wand	A Theory of Hygienic Macros.	ESOP	2008	DBLP DOI BibTeX RDF
1	Louis Mandel, Luc Maranget	Programming in JoCaml (Tool Demonstration).	ESOP	2008	DBLP DOI BibTeX RDF
1	Sophia Drossopoulou (eds.)	Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings	ESOP	2008	DBLP DOI BibTeX RDF
1	Hugo Torres Vieira, Luís Caires, João Costa Seco	The Conversation Calculus: A Model of Service-Oriented Computation.	ESOP	2008	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller 0001	Verification of Equivalent-Results Methods.	ESOP	2008	DBLP DOI BibTeX RDF
1	Olivier Bouissou, Matthieu Martel	A Hybrid Denotational Semantics for Hybrid Systems.	ESOP	2008	DBLP DOI BibTeX RDF
1	C.-H. Luke Ong	Verification of Higher-Order Computation: A Game-Semantic Approach.	ESOP	2008	DBLP DOI BibTeX RDF
1	Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely	Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).	ESOP	2008	DBLP DOI BibTeX RDF
1	Sebastian Hunt, David Sands 0001	Just Forget It - The Semantics and Enforcement of Information Erasure.	ESOP	2008	DBLP DOI BibTeX RDF
1	Yûta Kaneko, Naoki Kobayashi 0001	Linear Declassification.	ESOP	2008	DBLP DOI BibTeX RDF
1	Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli	A Formal Implementation of Value Commitment.	ESOP	2008	DBLP DOI BibTeX RDF
1	Scott Owens	A Sound Semantics for OCamllight.	ESOP	2008	DBLP DOI BibTeX RDF
1	Sylvain Conchon, Jean-Christophe Filliâtre	Semi-persistent Data Structures.	ESOP	2008	DBLP DOI BibTeX RDF
1	James Cheney	Regular Expression Subtyping for XML Query and Update Languages.	ESOP	2008	DBLP DOI BibTeX RDF
1	Xavier Allamigeon	Non-disjunctive Numerical Domain for Array Predicate Abstraction.	ESOP	2008	DBLP DOI BibTeX RDF
1	Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli	Oracle Semantics for Concurrent Separation Logic.	ESOP	2008	DBLP DOI BibTeX RDF
1	Markus Müller-Olm, Helmut Seidl	Upper Adjoints for Fast Inter-procedural Variable Equalities.	ESOP	2008	DBLP DOI BibTeX RDF
1	Thierry Coquand	Constructive Mathematics and Functional Programming (Abstract).	ESOP	2008	DBLP DOI BibTeX RDF
1	Sumit Gulwani, Ashish Tiwari 0001	Computing Procedure Summaries for Interprocedural Analysis.	ESOP	2007	DBLP DOI BibTeX RDF
1	Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula	Dependent Types for Low-Level Programming.	ESOP	2007	DBLP DOI BibTeX RDF
1	Maria Grazia Buscemi, Ugo Montanari	CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.	ESOP	2007	DBLP DOI BibTeX RDF
1	Lucia Acciai, Michele Boreale, Silvano Dal-Zilio	A Concurrent Calculus with Atomic Transactions.	ESOP	2007	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Modal I/O Automata for Interface and Product Line Theories.	ESOP	2007	DBLP DOI BibTeX RDF
1	Cristian Versari	A Core Calculus for a Comparative Analysis of Bio-inspired Calculi.	ESOP	2007	DBLP DOI BibTeX RDF	polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus
1	Heiko Mantel, Alexander Reinhard	Controlling the What and Where of Declassification in Language-Based Security.	ESOP	2007	DBLP DOI BibTeX RDF
1	Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou	Static Analysis by Policy Iteration on Relational Domains.	ESOP	2007	DBLP DOI BibTeX RDF
1	Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio	The Java Memory Model: Operationally, Denotationally, Axiomatically.	ESOP	2007	DBLP DOI BibTeX RDF
1	Thomas Gawlitza, Helmut Seidl	Precise Fixpoint Computation Through Strategy Iteration.	ESOP	2007	DBLP DOI BibTeX RDF
1	Umut A. Acar, Matthias Blume, Jacob Donham	A Consistent Semantics of Self-adjusting Computation.	ESOP	2007	DBLP DOI BibTeX RDF
1	Kohei Suenaga, Naoki Kobayashi 0001	Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.	ESOP	2007	DBLP DOI BibTeX RDF
1	Rocco De Nicola (eds.)	Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings	ESOP	2007	DBLP DOI BibTeX RDF
1	Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao	On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.	ESOP	2007	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Wolfram Schulte	Using History Invariants to Verify Observers.	ESOP	2007	DBLP DOI BibTeX RDF
1	Derek Dreyer, Matthias Blume	Principal Type Schemes for Modular Programs.	ESOP	2007	DBLP DOI BibTeX RDF
1	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Small Witnesses for Abstract Interpretation-Based Proofs.	ESOP	2007	DBLP DOI BibTeX RDF
1	Adrian Francalanza, Matthew Hennessy	A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).	ESOP	2007	DBLP DOI BibTeX RDF
1	Frédéric Blanqui, Thérèse Hardin, Pierre Weis	On the Implementation of Construction Functions for Non-free Concrete Data Types.	ESOP	2007	DBLP DOI BibTeX RDF
1	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	A Calculus for Orchestration of Web Services.	ESOP	2007	DBLP DOI BibTeX RDF
1	Guodong Li, Scott Owens, Konrad Slind	Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.	ESOP	2007	DBLP DOI BibTeX RDF
1	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Cost Analysis of Java Bytecode.	ESOP	2007	DBLP DOI BibTeX RDF
1	Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang	Scalar Outcomes Suffice for Finitary Probabilistic Testing.	ESOP	2007	DBLP DOI BibTeX RDF
1	Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav	Modular Shape Analysis for Dynamically Encapsulated Programs.	ESOP	2007	DBLP DOI BibTeX RDF
1	Andrew M. Pitts	Techniques for Contextual Equivalence in Higher-Order, Typed Languages.	ESOP	2007	DBLP DOI BibTeX RDF

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