Chris Poskitt's Homepage
/ Publications

Publications List

Preprints of publications I have contributed to are available below (if not, please contact me).

Hoare-Style Verification of Graph Programs
C.M. Poskitt and D. Plump
Fundamenta Informaticae, 118(1-2):135-175. 2012
To appear ◊ Preprint (.pdf) ◊ Errata (.pdf)

A Hoare Calculus for Graph Programs
C.M. Poskitt and D. Plump
In Proceedings of the Fifth International Conference on Graph Transformation (ICGT 2010), volume 6372 of Lecture Notes in Computer Science, pages 139-154. Springer-Verlag, 2010
Springer Version ◊ Preprint (.pdf) ◊ Won K M Stott Memorial Prize (best York CS student paper, 2010)
Hoare Logic for Graph Programs
C.M. Poskitt and D. Plump
In Proceedings of the Theory Workshop at the Third International Conference on Verified Software: Theories, Tools, and Experiments (VS-THEORY 2010). 2010
Full Proceedings (.pdf) ◊ Preprint (.pdf)

Proceedings of the Fourth York Doctoral Symposium on Computer Science (YDS 2011)
C.M. Poskitt (ed.)
Technical Report YCS-2011-468. Department of Computer Science, The University of York, 2011
Full Proceedings (.pdf)

Preparing Future Academics Portfolio
C.M. Poskitt
Researcher Development Team, The University of York, 2011
Verification of Graph Programs: Thesis Outline
C.M. Poskitt
Department of Computer Science, The University of York, 2011
Towards the Verification of Graph Programs: Progress Report
C.M. Poskitt
Department of Computer Science, The University of York, 2011
Towards the Verification of Graph Programs: Qualifying Dissertation
C.M. Poskitt
Department of Computer Science, The University of York, 2010
Dissertation (.pdf)

Checking Graph Properties with the Graph Programming Language GP
C.M. Poskitt
B.Sc. dissertation. Department of Computer Science, The University of York, 2009
Dissertation (.pdf) ◊ Library of Graph Programs (.zip)

Listings of my publications can also be found on the following websites:

Page Last Updated: 20th April 2012