Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Henry Cejtin, Suresh Jagannathan, Stephen Weeks |
Flow-Directed Closure Conversion for Typed Languages. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Bernhard Steffen |
Constraint-Based Inter-Procedural Analysis of Parallel Programs. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems |
1 | Gilles Barthe, Maria João Frade |
Constructor Subtyping. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hudak |
Functional Reactive Programming (Abstract). |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Nielson, Hanne Riis Nielson |
Interprocedural Control Flow Analysis. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
An Idealized MetaML: Simpler, and More Expressive. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Podelski, Witold Charatonik, Martin Müller 0001 |
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Sabelfeld, David Sands 0001 |
A Per Model of Secure Information Flow in Sequential Programs. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller |
Dynamic Programming via Static Incrementalization. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alan Mycroft |
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Flanagan, Martín Abadi |
Types for Safe Locking. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Zhe Yang |
An Operational Investigation of the CPS Hierarchy. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Patrik Jansson, Johan Jeuring |
Polytypic Compact Printing and Parsing. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Thomas W. Reps, Shmuel Sagiv |
A Decidable Logic for Describing Linked Data Structures. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andy King, Jan-Georg Smaus, Patricia M. Hill |
Quotienting Share for Dependency Analysis. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs |
1 | Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen |
Expressing Structural Properties as Language Constructs. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Valery Trifonov, Zhong Shao |
Safe and Principled Language Interoperation. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Gay, Malcolm Hole |
Types and Subtypes for Client-Server Interactions. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | S. Doaitse Swierstra (eds.) |
Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter, Peter Müller 0001 |
A Programming Logic for Sequential Java. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael Norrish |
Deterministic Expressions in C. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Higher-Order Code Splicing. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas |
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, Oliver Rüthing, Bernhard Steffen |
Code Motion and Code Placement: Just Synonyms? |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin (eds.) |
Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Florence Maraninchi, Yann Rémond |
Mode-Automata: About Modes and States for Reactive Systems. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gert Smolka |
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract). |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
A Generic Framework for Specialization (Abridged Version). |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
program transformation, partial evaluation, computational effects, higher-order programming |
1 | Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee |
Synchronisation Analysis to Stop Tulping. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christian Fecht, Helmut Seidl |
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Andrew D. Gordon 0001 |
A Bisimulation Method for Cryptographic Protocols. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | C. Barry Jay, Paul Steckler |
The Functional Imperative: Shape! |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore Ruggieri |
A Complete Declarative Debugger of Missing Answers. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
Missing Answers, Acceptable Logic Programs, Logic programming, Error Diagnosis, Declarative Debugging |
1 | K. Rustan M. Leino |
Recursive Object Types in a Logic of Object-Oriented Programs. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Didier Rémy |
From Classes to Objects via Subtyping. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Hensel, Marieke Huisman, Bart Jacobs 0001, Hendrik Tews |
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John L. Ross, Shmuel Sagiv |
Building a Bridge between Pointer Aliases and Program Dependences. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Honda 0001, Vasco Thudichum Vasconcelos, Makoto Kubo |
Language Primitives and Type Discipline for Structured Communication-Based Programming. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
Complexity of Concrete Type-Inference in the Presence of Exceptions. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | William L. Scherlis |
Systematic Change of Data Representation: Program Manipulations and a Case Study. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Luís Monteiro |
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
A Rewriting Logic for Declarative Programming. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
non-deterministic functions, constructor-based rewriting logic, lazy narrowing, Declarative programming |
1 | Geoffrey Smith 0001, Dennis M. Volpano |
Towards an ML-Style Polymorphic Type System for C. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Liang, Paul Hudak |
Modular Denotational Semantics for Compiler Construction. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ketil Stølen |
Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl |
Integer Constraints to Stop Deforestation. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault |
Durations for Truly-Concurrent Transitions. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Moreno Falaschi, Germán Vidal |
Narrowing-Driven Partial Evaluation of Functional Logic Programs. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Franco Barbanera, Maribel Fernández |
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fradet, Ronan Caugne, Daniel Le Métayer |
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Thuné, Krister Åhlander |
Towards an Expressive Language for PDE Solvers. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
composite grids, parallel, object-oriented, scientific computing |
1 | John Launchbury, Ross Paterson |
Parametricity and Unboxing with Unpointed Types. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla |
Global Analysis of Standard Prolog Programs. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
Optimization, Logic Programming, Abstract Interpretation |
1 | Cliff B. Jones |
Some Practical Problems and Their Influence on Semantics. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Melzer, Javier Esparza |
Checking System Properties via Integer Programming. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson (eds.) |
Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ekkehard Rohwedder, Frank Pfenning |
Mode and Termination Checking for Higher-Order Logic Programs. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eva Rose |
Linear Time Hierarchies for a Functional Language Machine Model. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
selective update, operational semantics, functional languages, structured data, CAM, linear time, complexity hierarchy |
1 | Roberto Barbuti, Paolo Mancarella |
A Multiple-Valued Logical Semantics for Prolog. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering |
A Complete Transformational Toolkit for Compilers. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Florence Maraninchi, Nicolas Halbwachs |
Compositional Semantics of Non-Deterministic Synchronous Languages. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Marco Pistore, Daniel Yankelevich |
Efficient Minimization up to Location Equivalence. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Francesco Ranzato |
Compositional Optimization of Disjunctive Abstract Interpretations. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr |
A New Approach to Compiling Adaptive Programs. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Thomas P. Jensen, Ian Mackie |
Flow Analysis in the Geometry of Interaction. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones |
Compiling Haskell by Program Transformation: A Report from the Trenches. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Denis Béchet |
Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
alternative values, strongly-typed language, interpreters, partial evaluation, type specialization |
1 | Andy Mück, Thomas Streicher |
A Tiny Constrain Functional Logic Language and Its Continuation Semantics. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Torben Amtoft |
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | James H. Andrews |
Foundational Issues in Implementing Constraint Logic Programming Systems. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Luc Moreau 0001 |
The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andy King |
A Synergistic Analysis for Sharing and Groundness with Traces Linearity. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Lazy Unification with Simplification. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kahrs |
First-Class Polymorphism for ML. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Wei Li 0022 |
A Logical Framework for Evolution of Specifications. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Karl-Heinz Buth |
Simulation of SOS Definitions with Term Rewriting Systems. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
Pi-Nets: A Graphical Form of pi-Calculus. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David B. MacQueen, Mads Tofte |
A Semantics for Higher-Order Functors. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Z. Li |
A pi-Calculus Specification of Prolog. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Luca Cardelli |
A Theory of Primitive Objects - Scond-Order Systems. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David Walker 0008 |
Algebraic Proofs of Properties of Objects. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Luca Boerio |
Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Christian Mossin |
Polymorphic Binding-Time Analysis. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Serafino Cicerone, Francesco Parisi-Presicce |
Strategies in Modular System Design by Interface Rewriting. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | C. Barry Jay, J. Robin B. Cockett |
Shapely Types and Shape Polymorphism. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin, Daniel Le Métayer |
Lazy Type Inference for the Strictness Analysis of Lists. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker, Martin Wirsing |
Characterizing Behavioural Semantics and Abstractor Semantics. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Johan Jeuring, S. Doaitse Swierstra |
Bottom-up Grammar Analysis - A Functional Formulation. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Catuscia Palamidessi |
A Logical Denotational Semantics for Constraint Logic Programming. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Reif Andersen, Michael Mendler |
An Asynchronous Algebra with Multiple Clocks. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Morten Heine Sørensen, Robert Glück, Neil D. Jones |
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fradet |
Compilation of Head and Strong Reduction. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Berthomieu, Thierry Le Sergent |
Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
Type Classes in Haskell. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Corrado Böhm, Adolfo Piperno, Stefano Guerrini |
Lambda-Definition of Function(al)s by Normal Forms. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | K. V. S. Prasad |
Broadcasting with Priority. (journal version: Science of Computer Programming 25 (1995)) |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
Broadcast, functional programming, bisimulation, priority, process calculi |
1 | Robert Giegerich, Stefan Kurtz |
Suffix Trees in the Functional Programming Paradigm. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Kennedy |
Dimension Types. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Marc-Michel Corsini, Antoine Rauzy |
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
Symbolic Model Checking, Constraint Languages |
1 | Donald Sannella (eds.) |
Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|