↓ Skip to main content

ESOP '88

Overview of attention for book
Cover of 'ESOP '88'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Semantics-based program integration
  3. Altmetric Badge
    Chapter 2 ESOP '88
  4. Altmetric Badge
    Chapter 3 Algebraic formalisation of program development by transformation
  5. Altmetric Badge
    Chapter 4 QPC: QJ-based proof compiler -simple examples and analysis-
  6. Altmetric Badge
    Chapter 5 Implementation of modular algebraic specifications
  7. Altmetric Badge
    Chapter 6 A polymorphic type system with subtypes for Prolog
  8. Altmetric Badge
    Chapter 7 Type inference with subtypes
  9. Altmetric Badge
    Chapter 8 A theory of software reusability
  10. Altmetric Badge
    Chapter 9 Parametric overloading in polymorphic programming languages
  11. Altmetric Badge
    Chapter 10 Programming with proofs: A second order type theory
  12. Altmetric Badge
    Chapter 11 An exception handling construct for functional languages
  13. Altmetric Badge
    Chapter 12 A functional language for the specification of complex tree transformations
  14. Altmetric Badge
    Chapter 13 Garp: Graph abstractions for concurrent programming
  15. Altmetric Badge
    Chapter 14 Extending functional programming towards relations
  16. Altmetric Badge
    Chapter 15 Perfect pipelining: A new loop parallelization technique
  17. Altmetric Badge
    Chapter 16 New insights into partial evaluation: the SCHISM experiment
  18. Altmetric Badge
    Chapter 17 Code selection techniques: Pattern matching, tree parsing, and inversion of derivors
  19. Altmetric Badge
    Chapter 18 Adding relational query facilities to software development environments
  20. Altmetric Badge
    Chapter 19 Compilation of logic programs for restricted and-parallelism
  21. Altmetric Badge
    Chapter 20 Implementation of lazy pattern matching algorithms
  22. Altmetric Badge
    Chapter 21 Enhancing Prolog to support Prolog programming environments
  23. Altmetric Badge
    Chapter 22 2-Level λ-lifting
  24. Altmetric Badge
    Chapter 23 Deforestation: Transforming programs to eliminate trees
  25. Altmetric Badge
    Chapter 24 On implementing logic programming languages on a dataflow architecture
  26. Altmetric Badge
    Chapter 25 The PSG system: From formal language definitions to interactive programming environments
  27. Altmetric Badge
    Chapter 26 LPG: A generic, logic and functional programming language
  28. Altmetric Badge
    Chapter 27 CEC: A system for the completion of conditional equational specifications
  29. Altmetric Badge
    Chapter 28 A functional language for the specification of complex tree transformations
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
4 Wikipedia pages

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 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.
Title
ESOP '88
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-19027-9
ISBNs
978-3-54-019027-1, 978-3-54-038941-5
Editors

Ganzinger, H.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Engineering 1 100%