G. Plotkin. DAIMI FN-19. University of Aarhus, (1981)
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...
Description
New Version: http://www.citeulike.org/user/leonardo/article/696122
%0 Report
%1 plotkin_81_structural
%A Plotkin, G. D.
%C University of Aarhus
%D 1981
%K 1981 sos
%N DAIMI FN-19
%T A Structural Approach to Operational Semantics
%U http://citeseer.ist.psu.edu/plotkin81structural.html
%X 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...
@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...},
added-at = {2009-02-12T11:21:23.000+0100},
address = {University of Aarhus},
author = {Plotkin, G. D.},
biburl = {https://www.bibsonomy.org/bibtex/212718b2f176aaf6ce4c8d8510b355d2f/leonardo},
citeulike-article-id = {1437},
description = {New Version: http://www.citeulike.org/user/leonardo/article/696122},
interhash = {dc29e6898bdbd34bfae6cd829f8a7f86},
intrahash = {12718b2f176aaf6ce4c8d8510b355d2f},
keywords = {1981 sos},
number = {DAIMI FN-19},
posted-at = {2006-04-03 16:06:43},
priority = {2},
timestamp = {2009-02-12T11:21:23.000+0100},
title = {A Structural Approach to Operational Semantics},
url = {http://citeseer.ist.psu.edu/plotkin81structural.html},
year = 1981
}