The Library

R for semantics

Tools

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

Full text not available from this repository.

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: Report
Subjects: Q Science > QA Mathematics > QA75 (Please use QA76 Electronic Computers. Computer Science)
Divisions: Faculty of Science > Computer Science
Publisher: Department of Computer Science
Place of Publication: Coventry, UK
Date: December 1979
Identification Number: CS-RR-030
Institution: University of Warwick
Theses Department: Department of Computer Science
Status: Not Peer Reviewed
Publication Status: Published
Related URLs:
URI: http://wrap.warwick.ac.uk/id/eprint/46324

Request changes to a record

Actions (login required)

View Item View Item