Semantics, Modularity, and Rewriting Log
โ
Peter D. Mosses
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 872 KB
A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extensi