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 |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/ASE.2011.6100132 | ASE |
Keywords | DocType | ISSN |
core system,functional correctness,correct pointer program,programming mechanism,theorem proving,shape analysis,formal verification,data structure,animation,computer animation,separation logic | Conference | 1938-4300 |
ISBN | Citations | PageRank |
978-1-4577-1638-6 | 4 | 0.59 |
References | Authors | |
9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ewen Maclean | 1 | 38 | 4.77 |
Andrew Ireland | 2 | 122 | 15.39 |
Gudmund Grov | 3 | 100 | 17.38 |