Formal Semantics of Programming Languages -- An Overview (2006)
Cached
by
Peter D. Mosses
| Citations: | 5 - 0 self |
BibTeX
@MISC{Mosses06formalsemantics,
author = {Peter D. Mosses},
title = { Formal Semantics of Programming Languages -- An Overview },
year = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity, and potential applicability to visual and modelling languages. References to the literature provide starting points for further study.
