Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter W. O'Hearn, Jon G. Riecke |
Fully Abstract Translations and Parametric Polymorphism. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001, John Launchbury |
Reversing Abstract Interpretations. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Nielson, Hanne Riis Nielson |
The Tensor Product in Wadler's Analysis of Lists. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Patrick O'Keefe, Mitchell Wand |
Type Inference for Partial Types is Decidable. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Krieg-Brückner (eds.) |
ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Padmanabhan Krishnan |
A Semantics for Multiprocessor Systems. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | X. J. Chen, Carlo Montangero |
Compositional Refinements in Multiple Blackboard Systems. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg |
A Provably Correct Compiler Generator. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Guido Hogen, Andrea Kindler, Rita Loogen |
Automatic Parallelization of Lazy Functional Programs. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Bernot, Michel Bidoit, Teodor Knapik |
Towards an Adequate Notion of Observation. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mark P. Jones |
A Theory of Qualified Types. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Kyung-Goo Doh, David A. Schmidt |
Extraction of Strong Typing Laws from Action Semantics Definitions. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Albert Benveniste, Michel Le Borgne, Paul Le Guernic |
SIGNAL as a Model for Real-Time and Hybrid Systems. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
theory of parallel computation, real-time, semantics of programming languages |
1 | Benjamin Goldberg |
Incremental Garbage Collection Without Tags. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Gnaedig |
ELIOS-OBJ Theorem Proving in a Specification Language. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Tyng-Ruey Chuang |
Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Nicoletta Cocco, Massimo Fabris |
Typed Norms. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Reif Andersen |
Model Checking and Boolean Graphs. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Laura Ricci |
Detecting Determinate Computations by Bottom-up Abstract Interpretation. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Larchevêque |
Interprocedural Type Propagation for Object-Oriented Languages. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy |
Back to Direct Style. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
Direct style transformation, continuation-passing style transformation, Scheme, calculus |
1 | Andrew K. Wright |
Typing References by Effect Inference. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein |
Dynamic Typing. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin, Sebastian Hunt |
Approximate Fixed Points in Abstract Interpretation. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Tarlecki |
Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | David Bernstein, Michael Rodeh, Shmuel Sagiv |
Proving Safety of Speculative Load Instructions at Compile Time. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Robert Nieuwenhuis, Albert Rubio |
Basic Superposition is Complete. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Luc Levaire |
Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky |
Observers for Linear Types. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | S. Purushothaman, Jill Seaman |
An Adequate Operational Semantics for Sharing in Lazy Evaluation. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Anders Bondorf |
Automatic Autoprojection of Higher Order Recursive Equations. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
semantics directed compiler generation, Partial evaluation, binding time analysis, self-application |
1 | Charles Consel, Olivier Danvy |
From Interpreting to Compiling Binding Times. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
partial evaluation, actions, combinators, self-application |
1 | Martin Jourdan, Didier Parigot |
Techniques for Improving Grammar Flow Analysis. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Heckmann |
Set Domains. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Robert Paige |
Symbolic Finite Differencing - Part I. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen, Jens Knoop, Oliver Rüthing |
The Value Flow Graph: A Program Representation for Optimal Program Transformations. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo |
Graph-based Implementation of a Functional Logic Langugage. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | E. Pascal Gribomont |
Development of Concurrent Systems by Incremental Transformations. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Satish Thatté |
Type Inference and Implicit Scaling. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Henk Barendregt, Kees Hemerik |
Types in Lambda Calculi and Programming Languages. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | David Sands |
Complexity Analysis for a Lazy Higher-Order Language. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Thomas W. Reps |
Algebraic Properties of Program Integration. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Towards the Theory of Programming in Constructive Logic. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Schnoebelen, Sophie Pinchinat |
On the Weak Adequacy of Branching-Time Remporal Logic. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Susan Even, David A. Schmidt |
Type Inference for Action Semantics. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Synthesis of Eureka Predicates for Developing Logic Programs. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Leen Helmink |
Resolution and Type Theory. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
Calculus of Constructions, Type Theory, Natural Deduction, Typed Lambda Calculus |
1 | Thomas P. Jensen, Torben Æ. Mogensen |
A Backwards Analysis for Compile-time Garbage Collection. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Goldberg, Young Gil Park |
Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Neil D. Jones (eds.) |
ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson |
Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe |
Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Richard Kennaway |
The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman |
A Syntactic Theory of Transparent Parameterization. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Romanenko |
Arity Raiser and its Use in Program Specialization. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
arity raiser, retyping, variable splitting, partial evaluation, specializer, compiler generator |
1 | Matthias Felleisen |
On the Expressive Power of Programming Languages. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Yves Bertot |
Implementation of an Interpreter for a Parallel Language in Centaur. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Simon M. Kaplan, Gail E. Kaiser |
Garp: Graph Abstractions for Concurrent Programming. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
distributed system, parallel processing, concurrency, message passing, abstraction, actors, graph grammar, object-oriented system |
1 | N. W. P. van Diepen |
Implementation of Modular Algebraic Specifications. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Susan Horwitz |
Adding Relational Query Facilities to Software Development Environments. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Graham Gough, Howard Barringer |
A Semantics Driven Temporal Verification System. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Bahlke, Gregor Snelting |
The PSG System: From Formal Language Definitions to Interactive Programming Environments. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Remi Legrand |
Extending Functional Programming Towards Relations. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel |
New Insights into Partial Evaluation: the SCHISM Experiment. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
applicative languages, SCHISM, mixed computation, Program transformation, Scheme, partial evaluation, unfolding, specialization, program generation, compiler generation |
1 | Stefan Kaes |
Parametric Overloading in Polymorphic Programming Languages. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Heckmann |
A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Martelli, Gianfranco Rossi |
Enhancing Prolog to Support Prolog Programming Environments. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Alain Laville |
Implementation of Lazy Pattern Matching Algorithms. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Aiken, Alexandru Nicolau |
Perfect Pipelining: A New Loop Parallelization Technique. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Yukihide Takayama |
QPC: QJ-based Proof Compiler - Simple Examples and Analysis. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt |
On Implementing Logic Programming Languages on a Dataflow Architecture. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Michel Parigot |
Programming with Proofs: A Second Order Type Theory. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Krieg-Brückner |
Algebraic Formalisation of Program Development by Transformation. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Nielson, Hanne Riis Nielson |
2-level lambda-lifting. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger (eds.) |
ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Roland Dietrich, Frank Hagl |
A Polymorphic Type System with Subtypes for Prolog. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Heckmann |
A Functional Language for the Specification of Complex Tree Transformations. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel, Th. Moineau |
A Theory of Software Reusability. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
Key-words reuse, PLUSS, formal specifications, modularity, abstract data types |
1 | Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier |
LPG: A Generic, Logic and Functional Programming Language. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Dean Jacobs, Anno Langen |
Compilation of Logic Programs for Restricted And-Parallelism. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Bertling, Harald Ganzinger, Renate Schäfers |
CEC: A System for the Completion of Conditional Equational Specifications. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Deforestation: Transforming Programs to Eliminate Trees. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Robert Giegerich, Karl Schmal |
Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | You-Chin Fuh, Prateek Mishra |
Type Inference with Subtypes. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Thomas W. Reps, Susan Horwitz |
Semantics-Based Program Integration. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Bretz, Jürgen Ebert |
An Exception Handling Construct for Functional Languages. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Naftalin |
An Experiment in Practical Semantics. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Paola Mello, Antonio Natali |
Programs as Collections of Communicating Prolog Units. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Joost N. Kok |
Denotational Semantics of Nets with Nondeterminism. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet, Gilberto Filé |
A Very Intelligent Backtracking Method for Logic Programs. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001, C. A. R. Hoare, Jeff W. Sanders |
Data Refinement Refined. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Boizumault |
A Classical Implementation for Prolog-II. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jiro Tanaka, Makoto Kishishita |
Compiling Extended Concurrent Prolog - Single Queue Compilation. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Kastens, Michael Schmidt |
Lifetime Analysis for Procedure Parameters. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Elias Dahlhaus, Johann A. Makowsky |
The Choice of Programming Primitives for SETL-Like Programming Languages. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Triolet, Paul Feautrier, François Irigoin |
Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Airi Salminen |
Specification of a Tool for Viewing Program Text. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Kaplan |
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson |
Pragmatic Aspects of Two-Level Denotational Meta-Languages. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones |
A Safe Approach to Parallel Combinator Reduction (Extended Abstract). |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis |