{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T02:55:23Z","timestamp":1794365723954,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642035630","type":"print"},{"value":"9783642035647","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03564-7_6","type":"book-chapter","created":{"date-parts":[[2009,8,20]],"date-time":"2009-08-20T03:05:35Z","timestamp":1250737535000},"page":"99-122","source":"Crossref","is-referenced-by-count":34,"title":["The Graph Programming Language GP"],"prefix":"10.1007","author":[{"given":"Detlef","family":"Plump","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine: A Tutorial Reconstruction","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"A\u00eft-Kaci, H.: Warren\u2019s Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge (1991)"},{"key":"6_CR2","volume-title":"Digraphs: Theory, Algorithms and Applications","author":"J. Bang-Jensen","year":"2000","unstructured":"Bang-Jensen, J., Gutin, G.: Digraphs: Theory, Algorithms and Applications. Springer, Heidelberg (2000)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/0022-247X(65)90125-3","volume":"10","author":"R.J. Duffin","year":"1965","unstructured":"Duffin, R.J.: Topology of series-parallel networks. Journal of Mathematical Analysis and Applications\u00a010, 303\u2013318 (1965)","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-95486-3_7","volume-title":"The Book of L","author":"H. Ehrig","year":"1986","unstructured":"Ehrig, H., Habel, A.: Graph grammars with application conditions. In: Rozenberg, G., Salomaa, A. (eds.) The Book of L, pp. 87\u2013100. Springer, Heidelberg (1986)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1142\/9789812815149_0014","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"C. Ermel","year":"1999","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG approach: Language and environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a02, ch. 14, pp. 551\u2013603. World Scientific, Singapore (1999)"},{"key":"6_CR7","volume-title":"Computers and Intractability","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability. W.H. Freeman and Company, New York (1979)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11841883_27","volume-title":"Graph Transformations","author":"R. Gei\u00df","year":"2006","unstructured":"Gei\u00df, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.: GrGen: A fast SPO-based graph rewriting tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 383\u2013397. Springer, Heidelberg (2006)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-45315-6_15","volume-title":"Foundations of Software Science and Computation Structures","author":"A. Habel","year":"2001","unstructured":"Habel, A., Plump, D.: Computational completeness of programming languages based on graph transformation. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 230\u2013245. Springer, Heidelberg (2001)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-45832-8_12","volume-title":"Graph Transformation","author":"A. Habel","year":"2002","unstructured":"Habel, A., Plump, D.: Relabelling in graph transformation. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 135\u2013147. Springer, Heidelberg (2002)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1145\/1054972.1055031","volume-title":"Proc. SIGCHI Conference on Human Factors in Computing Systems (CHI 2005)","author":"J. Heer","year":"2005","unstructured":"Heer, J., Card, S.K., Landay, J.A.: Prefuse: A toolkit for interactive information visualization. In: Proc. SIGCHI Conference on Human Factors in Computing Systems (CHI 2005), pp. 421\u2013430. ACM Press, New York (2005)"},{"key":"6_CR12","volume-title":"Algorithm Design","author":"J. Kleinberg","year":"2006","unstructured":"Kleinberg, J., Tardos, \u00c9.: Algorithm Design. Addison Wesley, Reading (2006)"},{"key":"6_CR13","unstructured":"Manning, G., Plump, D.: The GP programming system. In: Proc. Graph Transformation and Visual Modelling Techniques (GT-VMT 2008). Electronic Communications of the EASST, vol.\u00a010 (2008)"},{"key":"6_CR14","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"231","volume-title":"Proc. Graph Transformation and Visual Modelling Techniques (GT-VMT 2006)","author":"G. Manning","year":"2008","unstructured":"Manning, G., Plump, D.: The York abstract machine. In: Proc. Graph Transformation and Visual Modelling Techniques (GT-VMT 2006). Electronic Notes in Theoretical Computer Science, vol.\u00a0211, pp. 231\u2013240. Elsevier, Amsterdam (2008)"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/337180.337620","volume-title":"Proc. International Conference on Software Engineering (ICSE 2000)","author":"U. Nickel","year":"2000","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA environment. In: Proc. International Conference on Software Engineering (ICSE 2000), pp. 742\u2013745. ACM Press, New York (2000)"},{"key":"6_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-692-6","volume-title":"Semantics with Applications: An Appetizer","author":"H.R. Nielson","year":"2007","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications: An Appetizer. Springer, Heidelberg (2007)"},{"key":"6_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/b97624","volume-title":"Chaos and Fractals","author":"H.-O. Peitgen","year":"2004","unstructured":"Peitgen, H.-O., J\u00fcrgens, H., Saupe, D.: Chaos and Fractals, 2nd edn. Springer, Heidelberg (2004)","edition":"2"},{"key":"6_CR18","first-page":"17","volume":"60\u201361","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Journal of Logic and Algebraic Programming\u00a060\u201361, 17\u2013139 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-30203-2_11","volume-title":"Graph Transformations","author":"D. Plump","year":"2004","unstructured":"Plump, D., Steinert, S.: Towards graph programs for graph algorithms. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 128\u2013143. Springer, Heidelberg (2004)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Plump, D., Steinert, S.: The semantics of graph programs (submitted for publication, 2009)","DOI":"10.4204\/EPTCS.21.3"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","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":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A\u00a0tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"6_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626364","volume-title":"Theories of Programming Languages","author":"J.C. Reynolds","year":"1998","unstructured":"Reynolds, J.C.: Theories of Programming Languages. Cambridge University Press, Cambridge (1998)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Operationales Spezifizieren mit programmierten Graphersetzungssystemen. Deutscher Universit\u00e4ts-Verlag (1991) (in German)","DOI":"10.1007\/978-3-663-14577-6"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1142\/9789812815149_0013","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"A. Sch\u00fcrr","year":"1999","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: The PROGRES approach: Language and environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a02, ch. 13, pp. 487\u2013550. World Scientific, Singapore (1999)"},{"key":"6_CR25","unstructured":"Steinert, S.: The Graph Programming Language GP. PhD thesis, The University of York (2007)"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-89020-1_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2008","unstructured":"Taentzer, G., et al.: Generation of Sierpinski triangles: A case study for graph transformation tools. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088, pp. 514\u2013539. Springer, Heidelberg (2008)"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/3-540-45875-1_25","volume-title":"Software Visualization","author":"A.J. Winter","year":"2002","unstructured":"Winter, A.J., Kullbach, B., Riediger, V.: An overview of the GXL graph exchange language. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol.\u00a02269, pp. 324\u2013336. Springer, Heidelberg (2002)"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/3-540-61228-9_105","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A. Z\u00fcndorf","year":"1996","unstructured":"Z\u00fcndorf, A.: Graph pattern matching in PROGRES. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 454\u2013468. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03564-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T07:36:53Z","timestamp":1685086613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03564-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642035630","9783642035647"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03564-7_6","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-03564-7","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}