R for semantics

Ashcroft, E.A. and Wadge, W.W. (1979) R for semantics. Technical Report. Department of Computer Science, Coventry, UK.

[img]
Preview
 PDF
Download (1438Kb) | Preview

    Abstract

    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)
    Uncontrolled Keywords: technicalreport
    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 14:36
    Last Modified: 01 Nov 2012 18:07
    URI: http://eprints.dcs.warwick.ac.uk/id/eprint/1153

    Actions (login required)

    		 View Item