Christopher M. Poskitt
York, United KingdomComputer and Information Science
Graph Transformation
Graph-Based Programming Systems
Monadic Second-Order Logic
Theoretical Computer Science
Program Verification
Publications
-
Conference Proceedings (2)
-
Christopher M. Poskitt, Detlef Plump (2010) A Hoare Calculus for Graph Programs. In Proc. ICGT 2010 - **TO APPEAR**.Download PDF (233.05 KB)
-
Christopher M. Poskitt, Detlef Plump (2010) Hoare Logic for Graph Programs. In Prelim. Proc. VS-THEORY 2010 - **TO APPEAR**.Download PDF (148.79 KB)
-
Contact Information
| Address: | Department of Computer Science, The University of York, York, YO10 5DD, United Kingdom |
| E-mail: | |
| Fax: | +44 (0)1904 432767 |
| Phone: | +44 (0)1904 432713 |
| Webpage: | http://www.cs.york.ac.uk/~cposkitt/ |
Discover more researchers in
Computer and Information Science.
Like iTunes for research papers. Mendeley is a free research management tool for desktop & web.
Get Mendeley
See all
7 Contacts
Public Collections
Christopher M.'s Public Collections
- No public collections created yet.
- Read how to create your own public collections.
Subscribed Collections
- Not subscribed to any collections yet.
- Find new public collections.
