default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. ESOP 1986: Saarbrücken, Germany
- Bernard J. Robinet, Reinhard Wilhelm:
ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings. Lecture Notes in Computer Science 213, Springer 1986, ISBN 3-540-16442-1
Compilation
- Mads Dam, Frank Jensen:
Compiler Generation from Relational Semantics. 1-29 - Flemming Nielson:
Correctness of Code Generation from a Two-Level Meta-Language. 30-40
Optimized Language Implementation
- Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe:
A General Approach to the Optimization of Function Calls. 41-52 - Uwe Kastens, Michael Schmidt:
Lifetime Analysis for Procedure Parameters. 53-69
Functional Programming Language Implementation
- Hugh Glaser, Sean Hayes:
Another Implementation Technique for Applicative Languages. 70-81 - Patrick Bellot:
GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. 82-98 - Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones:
A Safe Approach to Parallel Combinator Reduction (Extended Abstract). 99-110
Functional Programming Languages
- Corrado Böhm:
Reducing Recursion to Iteration by Algebraic Extension. 111-118 - Didier Bert, Rachid Echahed:
Design and Implementation of a Generic, Logic and Functional Programming Language. 119-132
Semantics
- Hanne Riis Nielson, Flemming Nielson:
Pragmatic Aspects of Two-Level Denotational Meta-Languages. 133-143 - Maurice Naftalin:
An Experiment in Practical Semantics. 144-159 - Elias Dahlhaus, Johann A. Makowsky:
The Choice of Programming Primitives for SETL-Like Programming Languages. 160-172
Semantics and Abstract Data Types
- Gilles Bernot, Michel Bidoit, Christine Choppy:
Algebraic Semantics of Exception Handling. 173-186 - Jifeng He, C. A. R. Hoare, Jeff W. Sanders:
Data Refinement Refined. 187-196 - Eugene W. Stark:
Proving Entailment Between Conceptual State Specifications. 197-209
Parallelism
- Rémi Triolet, Paul Feautrier, François Irigoin:
Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls. 210-222 - Pierre Jouvelot:
Parallelization by Semantic Detection of Reductions. 223-236 - Joost N. Kok:
Denotational Semantics of Nets with Nondeterminism. 237-249
Tools
- Airi Salminen:
Specification of a Tool for Viewing Program Text. 250-261
Logic Programming
- Patrice Boizumault:
A Classical Implementation for Prolog-II. 262-273 - Paola Mello, Antonio Natali:
Programs as Collections of Communicating Prolog Units. 274-288 - Bernd Schwinn, Gerhard Barth:
An And-Parallel Execution Model of Logic Programs. 289-300 - Jiro Tanaka, Makoto Kishishita:
Compiling Extended Concurrent Prolog - Single Queue Compilation. 301-314 - Christian Codognet, Philippe Codognet, Gilberto Filé:
A Very Intelligent Backtracking Method for Logic Programs. 315-326 - Harald Søndergaard
:
An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. 327-338
Term Rewriting
- Alfons Geser, Heinrich Hußmann:
Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. 339-350 - Stéphane Kaplan:
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. 351-374
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
