%0 Generic %1 coleman_04_black %A Coleman, J. W. %A Jefferson, N. P. %A Jones, C. B. %D 2004 %K 2004 _to_review sos %T Black tie optional: Modelling programming language concepts %U http://citeseer.ist.psu.edu/coleman04black.html %X This paper describes an undergraduate course taught at the University of Newcastle upon Tyne; the title of the module is Understanding Programming Languages. The main thrust of the course is to understand how to model features of language semantics. Specifically, (structural) operational semantics (SOS) is taught as a convenient and notational light way of recording and experimenting with features of procedural programming languages. We outline the content, discuss the contentious issue...

@misc{coleman_04_black, abstract = {This paper describes an undergraduate course taught at the University of Newcastle upon Tyne; the title of the module is Understanding Programming Languages. The main thrust of the course is to understand how to model features of language semantics. Specifically, (structural) operational semantics (SOS) is taught as a convenient and notational light way of recording and experimenting with features of procedural programming languages. We outline the content, discuss the contentious issue...}, added-at = {2009-02-11T21:05:33.000+0100}, author = {Coleman, J. W. and Jefferson, N. P. and Jones, C. B.}, biburl = {https://www.bibsonomy.org/bibtex/27754a7e9791bab071e126c296eb06bb9/leonardo}, citeulike-article-id = {574218}, interhash = {27aa9b1bec001a82d5bdfec809e3ad9c}, intrahash = {7754a7e9791bab071e126c296eb06bb9}, keywords = {2004 _to_review sos}, posted-at = {2006-04-03 16:10:26}, priority = {2}, timestamp = {2009-02-11T21:05:33.000+0100}, title = {Black tie optional: Modelling programming language concepts}, url = {http://citeseer.ist.psu.edu/coleman04black.html}, year = 2004 }