From High-Level Language to Abstract Machine Code: An Interactive Compiler and Emulation Tool for Teaching Structural Operational Semantics
Book chapter (August 2023)
Semantics with Applications: An Appetizer
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Operational Semantics
-
Altmetric BadgeChapter 3 More on Operational Semantics
-
Altmetric BadgeChapter 4 Provably Correct Implementation
-
Altmetric BadgeChapter 5 Denotational Semantics
-
Altmetric BadgeChapter 6 More on Denotational Semantics
-
Altmetric BadgeChapter 7 Program Analysis
-
Altmetric BadgeChapter 8 More on Program Analysis
-
Altmetric BadgeChapter 9 Axiomatic Program Verification
-
Altmetric BadgeChapter 10 More on Axiomatic Program Verification
-
Altmetric BadgeChapter 11 Further Reading
Altmetric Badge
Citations
- dimensions_citation
- 54 Dimensions