Output details
11 - Computer Science and Informatics
University of Sussex
Chapter title
Program logics for sequential higher-order control
Type
C - Chapter in book
Publisher of book
Springer Verlag
Book title
Fundamentals of software engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
ISBN of book
978-3-642-11622-3
Year of publication
2010
Number of additional authors
2
Additional information
<11>The technology developed in this paper is ground-breaking, and enabled the later research described in Berger et al. Proc 35th ICALP, 99-111, 2008 (which was written later, but published earlier). FSEN is a premier conference series and leading international outlet in this area, the acceptance rate at FSEN 2009 was 25%.
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Foundations of Software Systems
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-