Output details
11 - Computer Science and Informatics
University of Birmingham
Return to search
Output 0 of 0 in the submission
Output title
An Automata-Theoretic Model of Idealized Algol
Type
E - Conference contribution
Name of conference/published proceedings
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Volume number
7392
Issue number
-
First page of article
337
ISSN of proceedings
0302-9743
Year of publication
2012
URL
-
Number of additional authors
1
Additional information
<10>This paper initiates a new approach to building extensional semantic models of imperative programs so as to combine two important concerns: data abstraction via local variables and irreversible state change. It is the first such model overcoming the difficulties in combining these concerns, solving the problem of "awkward example" posed by Pitts and Stark in 1998. The work was published in ICALP, the flagship conference of EATCS, rated 60th among 3000 CS conferences by Microsoft Academic Search. Though very new, the work has received attention from leading researchers, with invited talks at MPI for Software Systems, Microsoft Research and CMU.
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
-
