A Structural Approach to Operational Semantics

@techreport{citeulike:438332, 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...}, address = {University of Aarhus}, author = {Plotkin, G. D. }, citeulike-article-id = {438332}, keywords = {semantics}, number = {DAIMI FN-19}, posted-at = {2008-04-24 16:21:51}, priority = {2}, title = {A Structural Approach to Operational Semantics}, url = {http://citeseer.ist.psu.edu/673965.html}, year = {1981} }

TY - RPRT ID - citeulike:438332 L3 - citeulike-article-id:438332 TI - A Structural Approach to Operational Semantics IS - DAIMI FN-19 AD - University of Aarhus N2 - 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... KW - semantics AU - Plotkin, GD PY - 1981/// UR - http://citeseer.ist.psu.edu/673965.html ER -