R for semantics
Ashcroft, E.A. and Wadge, W.W. (1979) R for semantics. Technical Report. Department of Computer Science, Coventry, UK.
Download (1438Kb) | Preview
We would like in this note to offer a constructive criticism of current work in the semantics of programming languages, a criticism directed not so much at the techniques and results obtained as at the use to which they are put. The basic problem, in our view, is that denotational (or "mathematical") semantics plays on the whole a passive (we call it "descriptive") ro1e, while operational semantics plays on the whole an active (we call it "prescriptive") role. Our suggestion is that these roles be reversed.
|Item Type:||Monograph (Technical Report)|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Divisions:||Faculty of Science > Computer Science|
|Depositing User:||Mr Ebrahim Ardeshir|
|Date Deposited:||26 Apr 2012 13:36|
|Last Modified:||01 Nov 2012 18:07|
Actions (login required)