↓ Skip to main content
What is this page? Embed badge

Using category theory to design implicit conversions and generic operators

Overview of attention for book
Cover of 'Using category theory to design implicit conversions and generic operators'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 18 Transforming denotational semantics into practical attribute grammars
  3. Altmetric Badge
    Chapter 19 Compiler generation from denotational semantics
  4. Altmetric Badge
    Chapter 20 From standard to implementation denotational semantics
  5. Altmetric Badge
    Chapter 21 Specification of compilers as abstract data type representations
  6. Altmetric Badge
    Chapter 22 More on advice on structuring compilers and proving them correct
  7. Altmetric Badge
    Chapter 23 A constructive approach to compiler correctness
  8. Altmetric Badge
    Chapter 24 Using category theory to design implicit conversions and generic operators
  9. Altmetric Badge
    Chapter 25 On defining semantics by means of extended attribute grammars
  10. Altmetric Badge
    Chapter 26 Tree-affix dendrogrammars for languages and compilers
  11. Altmetric Badge
    Chapter 27 An implementation of affix grammars
  12. Altmetric Badge
    Chapter 28 Experiences with the compiler writing system HLP
  13. Altmetric Badge
    Chapter 29 Rule splitting and attribute-directed parsing
  14. Altmetric Badge
    Chapter 30 Attribute-influenced LR parsing
  15. Altmetric Badge
    Chapter 31 On the definition of an attribute grammar
  16. Altmetric Badge
    Chapter 32 State transition machines for lambda-calculus expressions
  17. Altmetric Badge
    Chapter 33 Semantic definitions in REFAL and automatic production of compilers
  18. Altmetric Badge
    Chapter 34 On the formal definition of ADA
Attention for Chapter 20: From standard to implementation denotational semantics
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
From standard to implementation denotational semantics
Chapter number 20
Book title
Semantics-Directed Compiler Generation
Published by
Springer, Berlin, Heidelberg, January 1980
DOI 10.1007/3-540-10250-7_20
Book ISBNs
978-3-54-010250-2, 978-3-54-038339-0
Authors

Martin Raskovsky, Phil Collier, Raskovsky, Martin, Collier, Phil

View on publisher site
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 %
Computer Science 1 100%

This page is provided by Altmetric.