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 |
|