The CORE system: Animation and functional correctness of pointer programs

Authors:
Ewen Maclean;Andrew Ireland;Gudmund Grov
Affiliations:
School of Mathematical and Computer Sciences, Heriot-Watt University, UK;School of Mathematical and Computer Sciences, Heriot-Watt University, UK;School of Informatics, University of Edinburgh, UK
Venue:
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Year:
2011

Citing 7
Cited 0

The Use of Planning Critics in Mechanizing Inductive Proofs

LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Separation Logic: A Logic for Shared Mutable Data Structures

LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
The Use of Explicit Plans to Guide Inductive Proofs

Proceedings of the 9th International Conference on Automated Deduction
Scheme-based synthesis of inductive theories

MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Mutation in linked data structures

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Smallfoot: modular automatic assertion checking with separation logic

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Amortised resource analysis with separation logic

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Pointers are a powerful and widely used programming mechanism, but developing and maintaining correct pointer programs is notoriously hard. Here we describe the CORE