DMCA
A Structural Approach to Operational Semantics (1981)
Cached
Download Links
- [homepages.inf.ed.ac.uk]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [ecee.colorado.edu]
- [repository.readscheme.org]
- [www.brics.dk]
- DBLP
Other Repositories/Bibliography
by
G. D. Plotkin
| Citations: | 1524 - 3 self |
BibTeX
@MISC{Plotkin81astructural,
author = {G. D. Plotkin},
title = {A Structural Approach to Operational Semantics},
year = {1981}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Syntax of a very simple programming language called L. What is abstract about it will be discussed a little here and later at greater length. For us syntax is a collection of syntactic sets of phrases; each set corresponds to a different type of phrase. Some of these sets are very simple and can be taken as given: Truthvalues This is the set T = ftt; ffg and is ranged over by (the metavariable) t (and we also happily employ for this (and any other) metavariable sub- and super-scripts to generate other metavariables: t ; t 0 ; t 1k ).
