Search results for "ESOP"

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

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