From Separation Logic to Hyperedge Replacement and Back

Mike Dodds

doi:10.1007/978-3-540-87405-8_40

From Separation Logic to Hyperedge Replacement and Back

Mike Dodds

Computer Science

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

Abstract

Hyperedge replacement grammars and separation-logic formulas both define classes of graph-like structures. In this paper, we describe two effective translations between restricted hyperedge replacement grammars and formulas in a fragment of separation logic. These translations preserve the semantics of formulas and grammars.

Original language	English
Title of host publication	Graph Transformations
Subtitle of host publication	4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Publisher	Springer
Pages	484-486
Number of pages	3
Volume	5214 LNCS
ISBN (Electronic)	978-3-540-87405-8
ISBN (Print)	978-3-540-87404-1
DOIs	https://doi.org/10.1007/978-3-540-87405-8_40
Publication status	Published - 2008
Event	4th International Conference on Graph Transformations (ICGT 2008) - Leicester, United Kingdom Duration: 7 Sept 2008 → 13 Sept 2008

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5214
ISSN (Print)	0302-9743

Conference

Conference	4th International Conference on Graph Transformations (ICGT 2008)
Country/Territory	United Kingdom
City	Leicester
Period	7/09/08 → 13/09/08

Access to Document

10.1007/978-3-540-87405-8_40

http://link.springer.com/chapter/10.1007/978-3-540-87405-8_40

Cite this

@inproceedings{dc9032f2fd6641c5a79afebdf48053c4,

title = "From Separation Logic to Hyperedge Replacement and Back",

abstract = "Hyperedge replacement grammars and separation-logic formulas both define classes of graph-like structures. In this paper, we describe two effective translations between restricted hyperedge replacement grammars and formulas in a fragment of separation logic. These translations preserve the semantics of formulas and grammars.",

author = "Mike Dodds",

year = "2008",

doi = "10.1007/978-3-540-87405-8_40",

language = "English",

isbn = "978-3-540-87404-1",

volume = "5214 LNCS",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "484--486",

booktitle = "Graph Transformations",

address = "Germany",

note = "4th International Conference on Graph Transformations (ICGT 2008) ; Conference date: 07-09-2008 Through 13-09-2008",

}

Dodds, M 2008, From Separation Logic to Hyperedge Replacement and Back. in Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. vol. 5214 LNCS, Lecture Notes in Computer Science, vol. 5214, Springer, pp. 484-486, 4th International Conference on Graph Transformations (ICGT 2008), Leicester, United Kingdom, 7/09/08. https://doi.org/10.1007/978-3-540-87405-8_40

From Separation Logic to Hyperedge Replacement and Back. / Dodds, Mike.
Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Vol. 5214 LNCS Springer, 2008. p. 484-486 (Lecture Notes in Computer Science; Vol. 5214).

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

TY - GEN

T1 - From Separation Logic to Hyperedge Replacement and Back

AU - Dodds, Mike

PY - 2008

Y1 - 2008

N2 - Hyperedge replacement grammars and separation-logic formulas both define classes of graph-like structures. In this paper, we describe two effective translations between restricted hyperedge replacement grammars and formulas in a fragment of separation logic. These translations preserve the semantics of formulas and grammars.

AB - Hyperedge replacement grammars and separation-logic formulas both define classes of graph-like structures. In this paper, we describe two effective translations between restricted hyperedge replacement grammars and formulas in a fragment of separation logic. These translations preserve the semantics of formulas and grammars.

U2 - 10.1007/978-3-540-87405-8_40

DO - 10.1007/978-3-540-87405-8_40

M3 - Conference contribution

SN - 978-3-540-87404-1

VL - 5214 LNCS

T3 - Lecture Notes in Computer Science

SP - 484

EP - 486

BT - Graph Transformations

PB - Springer

T2 - 4th International Conference on Graph Transformations (ICGT 2008)

Y2 - 7 September 2008 through 13 September 2008

ER -