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

    38 Downloads (Pure)
    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 statusE-pub ahead of print/First online - 24 Oct 2018

    Keywords

    • Java Semantics
    • Graph Transformation
    • Control flow graph

    Cite this