{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:01Z","timestamp":1725566281718},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232070"},{"type":"electronic","value":"9783540302032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30203-2_29","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T14:59:27Z","timestamp":1285081167000},"page":"416-430","source":"Crossref","is-referenced-by-count":5,"title":["Derivations in Object-Oriented Graph Grammars"],"prefix":"10.1007","author":[{"given":"Ana Paula","family":"L\u00fcdtke Ferreira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","volume":"34","author":"M. Andries","year":"1999","unstructured":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Plump, D., Schurr, A., Taentzer, G.: Graph transformation for specification and programming. Science of Computer Programming\u00a034, 1\u201354 (1999)","journal-title":"Science of Computer Programming"},{"key":"29_CR2","unstructured":"Blostein, D., Fahmy, H., Grbavec, A.: Practical use of graph rewriting. Tech. Rep. 95-373, Queen\u2019s University, Kingston, Ontario, Canada (1995)"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-540-18771-5_48","volume-title":"Graph-Grammars and Their Application to Computer Science","author":"F.J. Brandenburg","year":"1987","unstructured":"Brandenburg, F.J.: On partially ordered graph grammars. In: Ehrig, H., Nagl, M., Rosenfeld, A., Rozenberg, G. (eds.) Graph Grammars 1986. LNCS, vol.\u00a0291, pp. 99\u2013111. Springer, Heidelberg (1987)"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"4","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction and polymorphism. ACM Computing Surveys 17\u00a04, 471\u2013522 (1985)","journal-title":"ACM Computing Surveys 17"},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0019443","volume-title":"Foundations of Object-Oriented Languages","author":"W.R. Cook","year":"1991","unstructured":"Cook, W.R.: Object-oriented programming versus abstract data type. In: de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990. LNCS, vol.\u00a0489, pp. 151\u2013178. Springer, Heidelberg (1991)"},{"key":"29_CR6","volume-title":"POPL 1990 - 17th Annual ACM Symposium on Principles of Programming Languages","author":"W.R. Cook","year":"1990","unstructured":"Cook, W.R., Hill, W.L., Canning, P.S.: Inheritance is not subtyping. In: POPL 1990 - 17th Annual ACM Symposium on Principles of Programming Languages, January 1990, Kluwer Academic Publishers, Dordrecht (1990)"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Padberg, J.: The category of typed graph grammars and its adjunctions with categories of derivations. In: [11], pp. 56\u201374 (1994)","DOI":"10.1007\/3-540-61228-9_79"},{"key":"29_CR8","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"3-4","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamentae Informatica 26\u00a03-4, 241\u2013265 (1996)","journal-title":"Fundamentae Informatica 26"},{"key":"29_CR9","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn., p. 298. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"29_CR10","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-0-387-35520-7_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems IV","author":"F.L. Dotti","year":"2000","unstructured":"Dotti, F.L., Ribeiro, L.: Specification of mobile code using graph grammars. In: Formal Methods for Open Object-Based Distributed Systems IV, pp. 45\u201364. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"29_CR11","unstructured":"In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, Springer, Heidelberg (1996)"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation. Part II: singlepushout approach and comparison with double pushout approach. In: [13]. ch. 4, pp. 247\u2013312","DOI":"10.1142\/9789812384720_0004"},{"key":"29_CR13","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"H. Ehrig","year":"1996","unstructured":"Ehrig, H., Kreowski, H.-J., Montanari, U., Rozemberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1996)"},{"key":"29_CR14","series-title":"Concurrency, Parallelism, and Distribution","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Kreowski, H.-J., Montanari, U., Rozemberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency, Parallelism, and Distribution, vol.\u00a03. World Scientific, Singapore (1999)"},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(93)90066-3","volume":"109","author":"H. Ehrig","year":"1993","unstructured":"Ehrig, H., L\u00f6we, M.: Parallel and distributed derivations in the singlepushout approach. Theoretical Computer Science\u00a0109, 123\u2013143 (1993)","journal-title":"Theoretical Computer Science"},{"key":"29_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-39958-2_2","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A.P.L. Ferreira","year":"2003","unstructured":"Ferreira, A.P.L., Ribeiro, L.: Towards object-oriented graphs and grammars. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 16\u201331. Springer, Heidelberg (2003)"},{"key":"29_CR17","unstructured":"Ferreira, A.P.L., Ribeiro, L.: A graph-based semantics for object-oriented programming constructs. In: Proceedings of the International Conference on Category Theory and Computer Science (CTCS 2004), Copenhagen, DK, August 12-14, p. 15 (2004); to appear as a special issue of Eletronic Notes in Theoretical Computer Science"},{"key":"29_CR18","unstructured":"Korff, M.: Generalized Graph Structure Grammars with Applications to Concurrent Object-Oriented Systems. PhD Thesis, Technische Universit\u00e4t Berlin, Berlin (1995)"},{"key":"29_CR19","unstructured":"L\u00f6we, M.: Extended Algebraic Graph Transformation. PhD thesis, Technischen Universit\u00e4t Berlin, Berlin (February 1991)"},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Montanari, U., Pistore, M., Rossi, F.: Modeling concurrent, mobile and coordinated systems via graph transformations. In: [14]. ch. 4, pp. 189\u2013268","DOI":"10.1142\/9789812814951_0004"},{"key":"29_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1007\/3-540-18771-5_72","volume-title":"Graph-Grammars and Their Application to Computer Science","author":"F. Parisi-Presicce","year":"1987","unstructured":"Parisi-Presicce, F., Ehrig, H., Montanari, U.: Graph rewriting with unification and composition. In: Ehrig, H., Nagl, M., Rosenfeld, A., Rozenberg, G. (eds.) Graph Grammars 1986. LNCS, vol.\u00a0291, pp. 496\u2013514. Springer, Heidelberg (1987)"},{"key":"29_CR22","unstructured":"Ribeiro, L.: Parallel Composition and Unfolding Semantics of Graph Grammars. PhD Thesis, Technische Universit\u00e4t Berlin, Berlin, p. 202 (June 1996)"},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: Parallel and Distributed Graph Transformation Formal Description and Application to Communication-Based Systems. PhD Thesis, TU Berlin, Berlin (1996)","DOI":"10.1007\/3-540-61228-9_95"},{"key":"29_CR24","doi-asserted-by":"publisher","first-page":"678","DOI":"10.1109\/ICDE.1993.344011","volume-title":"Proceedings of the 9th IEEE Conference on Data Engineering (ICDE 1993)","author":"O.D. Troyer","year":"1993","unstructured":"Troyer, O.D., Janssen, R.: On modularity for conceptual data models and the consequences for subtyping, inheritance and overriding. In: Proceedings of the 9th IEEE Conference on Data Engineering (ICDE 1993), pp. 678\u2013685. IEEE CS Press, Los Alamitos (1993)"},{"key":"29_CR25","first-page":"4","volume":"3","author":"D. Ungar","year":"1991","unstructured":"Ungar, D., Chambers, C., Chang, B.-W., H\u00f6lzle, U.: Organizing programs without classes. Lisp and Symbolic Computation\u00a03, 4 (1991)","journal-title":"Lisp and Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30203-2_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T05:56:00Z","timestamp":1636523760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30203-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232070","9783540302032"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30203-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}