E. Maclean and A. Ireland
Mutation in Linked Data Structures.
To appear in the Proceedings of the 13th International Conference
on Formal Engineering Methods (CFEM-11), 2011.
E. Maclean, A. Ireland, G. Grov.
The CORE System: Animation and Functional Correctness of Pointer Programs.
To appear as a Tool Demo Paper in the Proceedings
of the 26th IEEE/ACM International Conference on Automated Software
Engineering (ASE-11), 2011.
E. Maclean, A. Ireland, G, Grov.
Synthesising Functional Invariants in Separation Logic.
In proceedings of the 3rd International Workshop on Invariant Generation (WING'10), 2010.
To appear as an EasyChair Collection volume, 2011.
E. Maclean, A. Ireland, G, Grov.
Functional Correctness of Pointer Programs.
In proceedings of the Verified Software Tools & Experiments Workshop,
a satellite workshop of the 3rd International Conference on
Verified Software: Theories, Tool and Experiments (VSTTE-10), Edinburgh, UK, 2010.
G. Grov and A. Ireland.
Towards Automated Property Discovery within Hume.
In proceedings of the 2nd International Workshop on Invariant Generation
(WING'09), pages 45--59, 2009.
To appear as an EasyChair Collection volume, 2011.
E. Maclean, A. Ireland, R. Atkey, L. Dixon
Refinement and Term Synthesis in Loop Invariant Generation.
In proceedings of the 2nd International Workshop on Invariant Generation
(WING'09), pages 72--86, 2009.
In 2nd International Workshop on Invariant Generation (WING'09),
a satellite workshop of ETAPS-09, York, UK, 2009.
To appear as an EasyChair Collection volume, 2011.
A. Ireland
"Cooperative Reasoning for Automatic Software Verification",
In Proceedings of the 2nd International Workshop on
Automated Formal Methods (AFM), a satellite workshop
of the 22nd IEEE/ACM International Conference on
Automated Software Engineering (ASE-07), Atlanta.
Note: Available as a SRI International
Report.
A. Ireland
"A Cooperative Approach to Loop Invariant Discovery for Pointer Programs".
In Proceedings of 1st International Workshop on
Invariant Generation (WING), a satellite workshop
of Calculemus 2007, held at RISC, Hagenberg, Austria.
Note: Appears as RISC Technical Report
No. 07-07.
A. Ireland
"Towards Automatic Assertion Refinement for Separation Logic".
In Proceedings of the 21st IEEE International Conference on
Automated Software Engineering, IEEE Computer Society, 2006.
Note: A longer version is available from the School of Mathematical
and Computer Sciences, Heriot-Watt University, as Technical Report
HW-MACS-TR-0039.