↓ Skip to main content

Using category theory to design implicit conversions and generic operators

Overview of attention for book
Attention for Chapter 23: A constructive approach to compiler correctness
Altmetric Badge

Citations

dimensions_citation
27 Dimensions

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
A constructive approach to compiler correctness
Chapter number 23
Book title
Semantics-Directed Compiler Generation
Published by
Springer, Berlin, Heidelberg, January 1980
DOI 10.1007/3-540-10250-7_23
Book ISBNs
978-3-54-010250-2, 978-3-54-038339-0
Authors

Peter Mosses, Mosses, Peter

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 %
United Kingdom 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Professor 1 25%
Student > Ph. D. Student 1 25%
Researcher 1 25%
Student > Master 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Agricultural and Biological Sciences 1 25%