{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:43:04Z","timestamp":1764996184631},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319980461"},{"type":"electronic","value":"9783319980478"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98047-8_19","type":"book-chapter","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T01:05:49Z","timestamp":1540343149000},"page":"305-323","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE"],"prefix":"10.1007","author":[{"given":"Eduardo","family":"Zambon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"issue":"7","key":"19_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/390013.808479","volume":"5","author":"Frances E. Allen","year":"1970","unstructured":"F.E. Allen. \u201cControl Flow Analysis\u201d. In: ACM SIGPLAN Notices 5 (7 1970), pp. 1\u201319.","journal-title":"ACM SIGPLAN Notices"},{"key":"19_CR2","unstructured":"M. Andries et al. \u201cGraph Transformation for Specification and Programming\u201d. In: Sci. Comput. Program. 34.1 (1999), pp. 1\u201354. \nhttps:\/\/doi.org\/10.1016\/S01676423(98)000239"},{"key":"19_CR3","unstructured":"T. Arendt et al. \u201cHENSHIN: Advanced Concepts and Tools for In-Place EMF Model Transformations\u201d. In: Model Driven Engineering Languages and Systems (MODELS), Part I. Vol. 6394. Lecture Notes in Computer Science. Springer, 2010, pp. 121\u2013135."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"A. Balogh and D. Varr\u00f3. \u201cAdvanced model transformation language constructs in the VI-ATRA2 framework\u201d. In: Proceedings of the 2006 ACM Symposium on Applied Comput- ing (SAC). ACM, 2006, pp. 1280\u20131287. ISBN: 1-59593-108-2. \nhttps:\/\/doi.org\/10.1145\/1141277.1141575\n\n.","DOI":"10.1145\/1141277.1141575"},{"key":"19_CR5","unstructured":"T. Fischer et al. \u201cStory Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and JAVA\u201d. In: Theory and Application of Graph Transformations (TAGT). Vol. 1764. Lecture Notes in Computer Science. Springer, 2000, pp. 296\u2013309. ISBN: 3-540-67203-6. \nhttps:\/\/doi.org\/10.1007\/9783540464648_21\n\n."},{"key":"19_CR6","unstructured":"R. Gei\u00df and M. Kroll. \u201cGrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool\u201d. In: Applications of Graph Transformations with Industrial Relevance (AGTIVE). Vol. 5088. Lecture Notes in Computer Science. Springer, 2008, pp. 568\u2013569. ISBN: 978-3-540-89019-5. \nhttps:\/\/doi.org\/10.1007\/9783540890201_38\n\n."},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s10009-011-0186-x","volume":"14","author":"Amir Hossein Ghamarian","year":"2011","unstructured":"A. Ghamarian et al. \u201cModelling and analysis using GROOVE\u201d. In: STTT 14.1 (2012), pp. 15\u201340.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-46428-X_20","volume-title":"Fundamental Approaches to Software Engineering","author":"Marieke Huisman","year":"2000","unstructured":"M. Huisman and B. Jacobs. \u201cJAVA Program Verification via a Hoare Logic with Abrupt Termination\u201d. In: FASE. LNCS 1783. 2000, pp. 284\u2013303. \nhttps:\/\/doi.org\/10.1007\/3-540-46428-X_20\n\n."},{"issue":"2-3","key":"19_CR9","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"Chun Ouyang","year":"2007","unstructured":"C. Ouyang et al. \u201cFormal semantics and analysis of control flow in WS-BPEL\u201d. In: Science of Computer Programming. 67.2 (2007), pp. 162\u2013198.","journal-title":"Science of Computer Programming"},{"key":"19_CR10","unstructured":"D. Plump. \u201cThe Graph Programming Language GP\u201d. In: Third International Conference on Algebraic Informatics (CAI). Vol. 5725. Lecture Notes in Computer Science. Springer, 2009, pp. 99\u2013122. ISBN: 978-3-642-03563-0. \nhttps:\/\/doi.org\/10.1007\/9783642035647_6\n\n."},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"Arend Rensink","year":"2004","unstructured":"A. Rensink. \u201cThe GROOVE Simulator: A tool for state space generation\u201d. In: AGTIVE. LNCS 3062. 2003, pp. 479\u2013485."},{"key":"19_CR12","unstructured":"A. Rensink and E. Zambon. \u201cA Type Graph Model for JAVA Programs\u201d. In: FMOODS\/-FORTE LNCS 5522. Full technical report: Centre for Telematics and Information Technology TR-CTIT-09-01, University of Twente. Springer, 2009, pp. 237\u2013242."},{"key":"19_CR13","unstructured":"A. Sch\u00fcrr. \u201cInternal Conceptual Modeling: Graph Grammar Specification\u201d. In: Building Tightly Integrated Software Development Environments: The IPSEN Approach. Ed. by M. Nagl. Vol. 1170. Lecture Notes in Computer Science. Springer, 1996. Chap. 3, pp. 247\u2013377. ISBN: 3-540-61985-2."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"R. Smelik, A. Rensink, and H. Kastenberg. \u201cSpecification and Construction of Control Flow Semantics\u201d. In: 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). IEEE Computer Society, 2006, pp. 65\u201372.","DOI":"10.1109\/VLHCC.2006.45"},{"key":"19_CR15","unstructured":"E. Zambon. \u201cAbstract Graph Transformation \u2013 Theory and Practice\u201d. PhD thesis. Centre for Telematics and Information Technology University of Twente, 2013."}],"container-title":["Principled Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98047-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T01:19:25Z","timestamp":1540343965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98047-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319980461","9783319980478"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98047-8_19","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}