{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:38:29Z","timestamp":1725521909181},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787686"},{"type":"electronic","value":"9783540787693"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-78769-3_4","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T12:05:56Z","timestamp":1227701156000},"page":"43-58","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Normal Form for Mercury Programs"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Degrave","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wim","family":"Vanhoof","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"4_CR1","doi-asserted-by":"publisher","first-page":"1545","DOI":"10.1109\/TIT.2004.830793","volume":"50","author":"X. Chen","year":"2004","unstructured":"Chen, X., Francia, B., Li, M., McKinnon, B., Seker, A.: Shared information and program plagiarism detection. IEEE Transactions on Information Theory\u00a050(7), 1545\u20131551 (2004)","journal-title":"IEEE Transactions on Information Theory"},{"issue":"6","key":"4_CR2","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/93548.93574","volume":"25","author":"S. Horwitz","year":"1990","unstructured":"Horwitz, S.: Identifying the semantic and textual differences between two versions of a program. ACM SIGPLAN Notices\u00a025(6), 234\u2013245 (1990)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Kontogiannis, K.A., Demori, R., Merlo, E., Galler, M., Bernstein, M.: Pattern matching for clone and concept detection. In: Reverse engineering, pp. 77\u2013108 (1996)","DOI":"10.1007\/978-0-585-27477-5_4"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A., O\u2019Keefe, R.A.: A polymorphic type system for Prolog. Artificial Intelligence\u00a023, 295\u2013307 (1984)","journal-title":"Artificial Intelligence"},{"key":"4_CR5","unstructured":"Univ. of\u00a0Melbourne. Mercury language reference manual (2006)"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/571157.571169","volume-title":"Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming","author":"D. Overton","year":"2002","unstructured":"Overton, D., Somogyi, Z., Stuckey, P.: Constraint-based mode analysis of Mercury. In: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, New York, USA, 2002, pp. 109\u2013120. ACM Press, New York (2002)"},{"key":"4_CR7","first-page":"109","volume-title":"Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming","author":"D. Overton","year":"2002","unstructured":"Overton, D., Somogyi, Z., Stuckey, P.J.: Constraint-based mode analysis of Mercury. In: Kirchner, C. (ed.) Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming, pp. 109\u2013120. ACM Press, New York (2002)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Schleimer, S., Wilkerson, D.S., Aiken, A.: Winnowing: Local algorithms for document fingerprinting. In: Proceedings of the 2003 ACM SIGMOD international conference on Management of Data, San Diego, CA (2003)","DOI":"10.1145\/872757.872770"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Somogyi, Z., Henderson, H., Conway, T.: The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming\u00a029(1) (1996)","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11506676_1","volume-title":"Logic Based Program Synthesis and Transformation","author":"W. Vanhoof","year":"2005","unstructured":"Vanhoof, W.: Searching Semantically Equivalent Code Fragments in Logic Programs. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol.\u00a03573, pp. 1\u201318. Springer, Heidelberg (2005)"},{"key":"4_CR11","unstructured":"Winstead, J., Evans, D.: Towards differential program analysis. In: Proceedings of the 2003 Workshop on Dynamic Analysis (2003)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Wise. YAP3: Improved detection of similarities in computer program and other texts. SIGCSEB: SIGCSE Bulletin (ACM Special Interest Group on Computer Science Education), 28 (1996)","DOI":"10.1145\/236452.236525"},{"issue":"7","key":"4_CR13","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1002\/spe.4380210706","volume":"21","author":"W. Yang","year":"1991","unstructured":"Yang, W.: Identifying syntactic differences between two programs. Software Practice and Experience\u00a021(7), 739\u2013755 (1991)","journal-title":"Software Practice and Experience"},{"key":"4_CR14","unstructured":"W. Yang, S. Horwitz, T. Reps. Detecting program components with equivalent behaviors. Technical Report CS-TR-1989-840, University of Wisconsin, Madison (1989)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78769-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,23]],"date-time":"2021-09-23T06:39:57Z","timestamp":1632379197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78769-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787686","9783540787693"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78769-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}