Semantics with Applications: A Formal Introduction (1992)
by
Hanne Riis Nielson
,
Flemming Nielson
| Citations: | 120 - 4 self |
BibTeX
@MISC{Nielson92semanticswith,
author = {Hanne Riis Nielson and Flemming Nielson},
title = {Semantics with Applications: A Formal Introduction},
year = {1992}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 1182 | A structural approach to operational semantics - Plotkin - 1981 |
| 47 | An operational semantics for CSP - Plotkin |
| 29 | Two-level semantics and code generation - Nielson, Nielson - 1988 |
| 1 | Schmidt: Denotational Semantics: a Methodology for Language Development - A - 1986 |
