A Hoare Calculus for Graph Programs

Christopher M Poskitt; Detlef Plump

doi:10.1007/978-3-642-15928-2_10

A Hoare Calculus for Graph Programs

Christopher M Poskitt, Detlef Plump

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings 5th International Conference on Graph Transformation (ICGT 2010)
Editors	Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
Publisher	Springer
Pages	139-154
Volume	6372
ISBN (Electronic)	978-3-642-15928-2
ISBN (Print)	978-3-642-15927-5
DOIs	https://doi.org/10.1007/978-3-642-15928-2_10
Publication status	Published - 2010
Event	5th International Conference on Graph Transformations - Enschede, Netherlands Duration: 27 Sept 2010 → 2 Oct 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6372

Conference

Conference	5th International Conference on Graph Transformations
Country/Territory	Netherlands
City	Enschede
Period	27/09/10 → 2/10/10

Access to Document

10.1007/978-3-642-15928-2_10Licence: Unspecified

http://www.cs.york.ac.uk/plasma/publications/pdf/PoskittPlump.ICGT.10.pdfLicence: Unspecified

Cite this

@inproceedings{fb5ef73c3cf24d239e4569e6b14adb05,

title = "A Hoare Calculus for Graph Programs",

author = "Poskitt, {Christopher M} and Detlef Plump",

year = "2010",

doi = "10.1007/978-3-642-15928-2_10",

language = "English",

isbn = "978-3-642-15927-5",

volume = "6372 ",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "139--154",

editor = "Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Sch{\"u}rr",

booktitle = "Proceedings 5th International Conference on Graph Transformation (ICGT 2010)",

address = "Germany",

note = "5th International Conference on Graph Transformations ; Conference date: 27-09-2010 Through 02-10-2010",

}

Poskitt, CM & Plump, D 2010, A Hoare Calculus for Graph Programs. in H Ehrig, A Rensink, G Rozenberg & A Schürr (eds), Proceedings 5th International Conference on Graph Transformation (ICGT 2010). vol. 6372 , Lecture Notes in Computer Science, vol. 6372, Springer, pp. 139-154, 5th International Conference on Graph Transformations, Enschede, Netherlands, 27/09/10. https://doi.org/10.1007/978-3-642-15928-2_10

A Hoare Calculus for Graph Programs. / Poskitt, Christopher M; Plump, Detlef.
Proceedings 5th International Conference on Graph Transformation (ICGT 2010). ed. / Hartmut Ehrig; Arend Rensink; Grzegorz Rozenberg; Andy Schürr. Vol. 6372 Springer, 2010. p. 139-154 (Lecture Notes in Computer Science; Vol. 6372).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Hoare Calculus for Graph Programs

AU - Poskitt, Christopher M

AU - Plump, Detlef

PY - 2010

Y1 - 2010

UR - http://www.scopus.com/inward/record.url?scp=78649844328&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-15928-2_10

DO - 10.1007/978-3-642-15928-2_10

M3 - Conference contribution

SN - 978-3-642-15927-5

VL - 6372

T3 - Lecture Notes in Computer Science

SP - 139

EP - 154

BT - Proceedings 5th International Conference on Graph Transformation (ICGT 2010)

A2 - Ehrig, Hartmut

A2 - Rensink, Arend

A2 - Rozenberg, Grzegorz

A2 - Schürr, Andy

PB - Springer

T2 - 5th International Conference on Graph Transformations

Y2 - 27 September 2010 through 2 October 2010

ER -

A Hoare Calculus for Graph Programs

Publication series

Conference

Access to Document

Other files and links

Cite this