{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:21:30Z","timestamp":1725488490270},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638759"},{"type":"electronic","value":"9783540696582"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63875-x_60","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T03:08:01Z","timestamp":1186456081000},"page":"297-311","source":"Crossref","is-referenced-by-count":0,"title":["Share-where maintenance in visual algebraic specifications"],"prefix":"10.1007","author":[{"given":"T. B.","family":"Dinesh","sequence":"first","affiliation":[]},{"given":"Susan M.","family":"\u00dcsk\u00fcdarh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,1]]},"reference":[{"key":"23_CR1","unstructured":"Y. Bertot. A canonical calculus of residuals. In G. Huet and G. Plotkin, editors, Logical Environments. Cambridge University Press, 1993."},{"issue":"1","key":"23_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/226155.226156","volume":"5","author":"M. G. J. Brand van den","year":"1996","unstructured":"M. G. J. van den Brand and E. Visser. Generation of formatters for context-free languages. ACM Transactions on Software Engineering and Methodology, 5(1):1\u201341, January 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"A. van Deursen, J. Heering, and P. Klint. Language Prototyping. An Algebraic Specification Approach. AMAST series in Computing. World Scientific, 1996.","DOI":"10.1142\/3163"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"J. Field and F. Tip. Dynamic dependence in term rewriting systems and its application to program slicing. In M. Hermenegildo and J. Penjam, editors, Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming, volume 844 of Lecture Notes in Computer Science, pages 415\u2013431. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58402-1_29"},{"key":"23_CR5","unstructured":"J. A. Goguen, J. W. Thatcher, and E. G. Wagner. Abstract data types as initial algebras and correctness of data representation. In Proc. Conference on Computer Graphics Pattern Recognition and Data Structure, pages 89\u201393, 1975."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"J. V. Guttag and J. J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993. With S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing.","DOI":"10.1007\/978-1-4612-2704-5"},{"issue":"2","key":"23_CR7","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1145\/151257.151260","volume":"2","author":"P. Klint","year":"1993","unstructured":"P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176\u2013201, 1993.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"23_CR8","series-title":"Technical Report Report CS-R9073","volume-title":"Term rewriting systems","author":"J.W. Klop","year":"1990","unstructured":"J.W. Klop. Term rewriting systems. Technical Report Report CS-R9073, CWI, Amsterdam, 1990."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"K. Marriott and B. Meyer. Towards a hierarchy of visual languages. In Workshop on Theory of Visual Languages, May 1996.","DOI":"10.1109\/VL.1996.545288"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"A. Sch\u00fcrr, A. Z\u00fcndorf, and A. Winter. Visual programming with graph rewriting systems. In Proc. 1995 IEEE Symposium Visual Languages, September 1995.","DOI":"10.1109\/VL.1995.520826"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"S. M. Usk\u00fcdarh. Generating visual editors for formally specified languages. In Proc. 1994 IEEE Symposium Visual Languages, pages 278\u2013285, St. Louis, Illinois, October 1994.","DOI":"10.1109\/VL.1994.363607"},{"key":"23_CR12","unstructured":"S. M. Usk\u00fcdarh. Algebraic Specification of Visual Languages. PhD thesis, University of Amsterdam, March 1997."},{"key":"23_CR13","unstructured":"S. M. Usk\u00fcdarh and T. B. Dinesh. Towards a visual programming environment generator for algebraic specifications. In Proc. 1995 IEEE Symposium Visual Languages, September 1995."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63875-X_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:10:35Z","timestamp":1556727035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63875-X_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638759","9783540696582"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63875-x_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}