Output details
11 - Computer Science and Informatics
University of Birmingham
Output title
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Type
E - Conference contribution
Name of conference/published proceedings
29th Conference on Mathematical Foundations of Programming Semantics (MFPS XXIX)
Volume number
-
Issue number
-
First page of article
325
ISSN of proceedings
-
Year of publication
2013
URL
-
Number of additional authors
0
Additional information
<10>This paper builds on the approach initiated in ICALP 2012 paper, modelling the issues of passive (or read-only) computations. It is the first extensional model that is able to model passivity, obtaining accuracy for all first-order types of Idealized Algol. The paper was presented in a session chaired by Dana Scott honouring the memory of John Reynolds, whose approach it builds on. Scott later wrote, "I was particularly glad that Uday Reddy put Reynolds work in a proper perspective with respect to the earlier work of Strachey."
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Theory of Computation
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
