Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE

Eduardo Zambon, Arend Rensink

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationPrincipled Software Development
Subtitle of host publicationEssays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
EditorsPeter Müller, Ina Schaefer
PublisherSpringer
Pages305-323
ISBN (Electronic)978-3-319-98047-8
ISBN (Print)978-3-319-98046-1
DOIs
Publication statusPublished - 2018

Keywords

  • Java Semantics
  • Graph Transformation
  • Control flow graph

Cite this

Zambon, E., & Rensink, A. (2018). Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE. In P. Müller, & I. Schaefer (Eds.), Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday (pp. 305-323). Springer. https://doi.org/10.1007/978-3-319-98047-8_19
Zambon, Eduardo ; Rensink, Arend . / Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE. Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. editor / Peter Müller ; Ina Schaefer. Springer, 2018. pp. 305-323
@inbook{6d506ff876904624bece1de798607e09,
title = "Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE",
keywords = "Java Semantics, Graph Transformation, Control flow graph",
author = "Eduardo Zambon and Arend Rensink",
year = "2018",
doi = "10.1007/978-3-319-98047-8_19",
language = "English",
isbn = "978-3-319-98046-1",
pages = "305--323",
editor = "Peter M{\"u}ller and Ina Schaefer",
booktitle = "Principled Software Development",
publisher = "Springer",

}

Zambon, E & Rensink, A 2018, Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE. in P Müller & I Schaefer (eds), Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Springer, pp. 305-323. https://doi.org/10.1007/978-3-319-98047-8_19

Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE. / Zambon, Eduardo; Rensink, Arend .

Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. ed. / Peter Müller; Ina Schaefer. Springer, 2018. p. 305-323.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE

AU - Zambon, Eduardo

AU - Rensink, Arend

PY - 2018

Y1 - 2018

KW - Java Semantics

KW - Graph Transformation

KW - Control flow graph

U2 - 10.1007/978-3-319-98047-8_19

DO - 10.1007/978-3-319-98047-8_19

M3 - Chapter

SN - 978-3-319-98046-1

SP - 305

EP - 323

BT - Principled Software Development

A2 - Müller, Peter

A2 - Schaefer, Ina

PB - Springer

ER -

Zambon E, Rensink A. Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE. In Müller P, Schaefer I, editors, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Springer. 2018. p. 305-323 https://doi.org/10.1007/978-3-319-98047-8_19