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