↓ Skip to main content

Programming Languages and Their Definition

Overview of attention for book
Attention for Chapter 10: Mathematical semantics and compiler correctness
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
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
Mathematical semantics and compiler correctness
Chapter number 10
Book title
Programming Languages and Their Definition
Published by
Springer Berlin Heidelberg, January 1984
DOI 10.1007/bfb0048943
Book ISBNs
978-3-54-013378-0, 978-3-54-038933-0
Authors

H. Bekić

Editors

C. B. Jones