↓ Skip to main content

ESOP 86

Overview of attention for book
Cover of 'ESOP 86'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Compiler generation from relational semantics
  3. Altmetric Badge
    Chapter 2 Correctness of code generation from a two-level meta-language
  4. Altmetric Badge
    Chapter 3 A general approach to the optimization of function calls
  5. Altmetric Badge
    Chapter 4 Lifetime analysis for procedure parameters
  6. Altmetric Badge
    Chapter 5 Another implementation technique for applicative languages
  7. Altmetric Badge
    Chapter 6 Graal : A Functional Programming system with uncurryfied combinators and its reduction machine
  8. Altmetric Badge
    Chapter 7 A safe approach to parallel combinator reduction (extended abstract)
  9. Altmetric Badge
    Chapter 8 Reducing recursion to iteration by algebraic extension
  10. Altmetric Badge
    Chapter 9 Design and implementation of a generic, logic and functional programming language
  11. Altmetric Badge
    Chapter 10 Pragmatic aspects of two-level denotational meta-languages
  12. Altmetric Badge
    Chapter 11 An experiment in practical semantics
  13. Altmetric Badge
    Chapter 12 The choice of programming primitives for SETL-like programming languages
  14. Altmetric Badge
    Chapter 13 Algebraic semantics of exception handling
  15. Altmetric Badge
    Chapter 14 Data refinement refined resume
  16. Altmetric Badge
    Chapter 15 Proving entailment between conceptual state specifications
  17. Altmetric Badge
    Chapter 16 Automatic parallelization of fortran programs in the presence of procedure calls
  18. Altmetric Badge
    Chapter 17 Parallelization by semantic detection of reductions
  19. Altmetric Badge
    Chapter 18 Denotational semantics of nets with nondeterminism
  20. Altmetric Badge
    Chapter 19 specification of a tool for viewing program text
  21. Altmetric Badge
    Chapter 20 A classical implementation for Prolog-II
  22. Altmetric Badge
    Chapter 21 Programs as collections of communicating Prolog units
  23. Altmetric Badge
    Chapter 22 An and-parallel execution model of logic programs
  24. Altmetric Badge
    Chapter 23 Compiling Extended Concurrent Prolog -single queue compilation-
  25. Altmetric Badge
    Chapter 24 A very intelligent backtracking method for Logic Programs
  26. Altmetric Badge
    Chapter 25 An application of abstract interpretation of logic programs: Occur check reduction
  27. Altmetric Badge
    Chapter 26 Experiences with the RAP system — a specification interpreter combining term rewriting and resolution
  28. Altmetric Badge
    Chapter 27 Rewriting with a nondeterministic choice operator : From algebra to proofs
Attention for Chapter 26: Experiences with the RAP system — a specification interpreter combining term rewriting and resolution
Altmetric Badge

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Experiences with the RAP system — a specification interpreter combining term rewriting and resolution
Chapter number 26
Book title
ESOP 86
Published by
Springer, Berlin, Heidelberg, March 1986
DOI 10.1007/3-540-16442-1_26
Book ISBNs
978-3-54-016442-5, 978-3-54-039782-3
Authors

Alfons Geser, Heinrich Hussman

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 50%
Professor 1 25%
Researcher 1 25%
Readers by discipline Count As %
Computer Science 4 100%