A Structural Approach to Operational Semantics Export

@techreport{plotkin_81_structural, 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 = {1437}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/plotkin81structural.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/plotkin81structural.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/plotkin81structural.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/plotkin81structural.html}, citeulike-linkout-4 = {http://citeseer.ist.psu.edu/plotkin81structural.html}, comment = {New Version: http://www.citeulike.org/user/leonardo/article/696122}, keywords = {1981, sos}, number = {DAIMI FN-19}, posted-at = {2006-04-03 16:06:43}, priority = {2}, title = {A Structural Approach to Operational Semantics}, url = {http://citeseer.ist.psu.edu/plotkin81structural.html}, year = {1981} }

TY - RPRT ID - plotkin_81_structural L3 - citeulike-article-id:1437 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... IS - DAIMI FN-19 AD - University of Aarhus TI - A Structural Approach to Operational Semantics KW - 1981 KW - sos N1 - New Version: http://www.citeulike.org/user/leonardo/article/696122 AU - Plotkin, GD PY - 1981/// UR - http://citeseer.ist.psu.edu/plotkin81structural.html ER -