Output details
11 - Computer Science and Informatics
University of Sussex
Chapter title
Crowfoot: a verifier for higher-order store programs
Type
C - Chapter in book
DOI
-
Publisher of book
Springer
Book title
Verification, Model Checking, and Abstract Interpretation
ISBN of book
978-3-642-27940-9
Year of publication
2012
Number of additional authors
2
Additional information
<10>VMCAI is a leading international conference, and a premier outlet for work on verification, its acceptance rate for 2012 was 26/70. A programme of work stemming from the research described in paper includes the use of this tool in: Ben Horsfall , Nathaniel Charlton, Bernhard Reus: Verifying the reflective visitor pattern, FTfJP '12 Proceedings of the 14th Workshop on Formal Techniques for Java-like Program, Pages 27-34 ACM New York, NY (ISBN: 978-1-4503-1272-1 doi>10.1145/2318202.2318208). PhD student Ben Horsfall's thesis (to be submitted end of 2013) is based on this work.
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
-
