↓ Skip to main content

Functional Programming Languages and Computer Architecture

Overview of attention for book
Cover of 'Functional Programming Languages and Computer Architecture'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 26 Miranda: A non-strict functional language with polymorphic types
  3. Altmetric Badge
    Chapter 27 Data flow graph optimization in if1
  4. Altmetric Badge
    Chapter 28 Strictness analysis — a practical approach
  5. Altmetric Badge
    Chapter 29 The categorical abstract machine
  6. Altmetric Badge
    Chapter 30 High order programming in extended FP
  7. Altmetric Badge
    Chapter 31 Secd-m: a virtual machine for applicative programming
  8. Altmetric Badge
    Chapter 32 Cobweb — A combinator reduction architecture
  9. Altmetric Badge
    Chapter 33 How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages
  10. Altmetric Badge
    Chapter 34 Lazy memo-functions
  11. Altmetric Badge
    Chapter 35 An architecture for fast data movement in the FFP machine
  12. Altmetric Badge
    Chapter 36 An architecture that efficiently updates associative aggregates in applicative programming languages
  13. Altmetric Badge
    Chapter 37 Lambda lifting: Transforming programs to recursive equations
  14. Altmetric Badge
    Chapter 38 Optimizing almost-tail-recursive prolog programs
  15. Altmetric Badge
    Chapter 39 Designing regular array architectures using higher order functions
  16. Altmetric Badge
    Chapter 40 $$v\mathcal{F}\mathcal{P}$$ : An environment for the multi-level specification, analysis, and synthesis of hardware algorithms
  17. Altmetric Badge
    Chapter 41 A distributed garbage collection algorithm
  18. Altmetric Badge
    Chapter 42 Cyclic reference counting for combinator machines
  19. Altmetric Badge
    Chapter 43 Design for a multiprocessing heap with on-board reference counting
  20. Altmetric Badge
    Chapter 44 A functional language and modular architecture for scientific computing
  21. Altmetric Badge
    Chapter 45 Practical polymorphism
  22. Altmetric Badge
    Chapter 46 Program verification in a logical theory of constructions
  23. Altmetric Badge
    Chapter 47 Transforming recursive programs for execution on parallel machines
  24. Altmetric Badge
    Chapter 48 Compiling pattern matching
  25. Altmetric Badge
    Chapter 49 Serial combinators: "optimal" grains of parallelism
  26. Altmetric Badge
    Chapter 50 The G-machine: A fast, graph-reduction evaluator
Attention for Chapter 28: Strictness analysis — a practical approach
Altmetric Badge

Readers on

mendeley
9 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
Strictness analysis — a practical approach
Chapter number 28
Book title
Functional Programming Languages and Computer Architecture
Published in
Lecture notes in computer science, June 2005
DOI 10.1007/3-540-15975-4_28
Book ISBNs
978-3-54-015975-9, 978-3-54-039677-2
Authors

Chris Clack, Simon L Peyton Jones

Editors

Jean-Pierre Jouannaud

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Hungary 1 11%
Unknown 8 89%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 44%
Professor 2 22%
Professor > Associate Professor 1 11%
Researcher 1 11%
Unknown 1 11%
Readers by discipline Count As %
Computer Science 8 89%
Unknown 1 11%