{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:32Z","timestamp":1740099092763,"version":"3.37.3"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319964171"},{"type":"electronic","value":"9783319964188"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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-96418-8_1","type":"book-chapter","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T06:57:13Z","timestamp":1531465033000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Inferring Safe Maude Programs with \u00c1TAME"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[]},{"given":"Demis","family":"Ballis","sequence":"additional","affiliation":[]},{"given":"Julia","family":"Sapi\u00f1a","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,14]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jsc.2014.09.028","volume":"69","author":"M Alpuente","year":"2015","unstructured":"Alpuente, M., Ballis, D., Frechina, F., Sapi\u00f1a, J.: Exploring conditional rewriting logic computations. J. Symbolic Comput. 69, 3\u201339 (2015)","journal-title":"J. Symbolic Comput."},{"key":"1_CR2","unstructured":"Alpuente, M., Ballis, D., Sapi\u00f1a, J.: Static correction of maude programs with assertions. Technical report, Universitat Polit\u00e8cnica de Val\u00e8ncia (2018). \nhttp:\/\/hdl.handle.net\/10251\/100268"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-63139-4_1","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M Alpuente","year":"2017","unstructured":"Alpuente, M., Cuenca-Ortega, A., Escobar, S., Meseguer, J.: Partial evaluation of order-sorted equational programs modulo axioms. In: Hermenegildo, M.V., Lopez-Garcia, P. (eds.) LOPSTR 2016. LNCS, vol. 10184, pp. 3\u201320. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-63139-4_1"},{"key":"1_CR4","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Escobar, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.7.1). Technical report, SRI International (2016). \nhttp:\/\/maude.cs.uiuc.edu\/maude2-manual\/"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61580-6","volume-title":"Partial Evaluation","year":"1996","unstructured":"Danvy, O., Gl\u00fcck, R., Thiemann, P. (eds.): Proceedings of the International Seminar on Partial Evaluation (Dagstuhl 1996). LNCS, vol. 1110. Springer, Heidelberg (1996). \nhttps:\/\/doi.org\/10.1007\/3-540-61580-6"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/B:LISP.0000029449.57959.bd","volume":"17","author":"SC Khoo","year":"2004","unstructured":"Khoo, S.C., Shi, K.: Program adaptation via output-constraint specialization. Higher Order Symbolic Comput. 17(1), 93\u2013128 (2004)","journal-title":"Higher Order Symbolic Comput."},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96418-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T06:58:04Z","timestamp":1531465084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96418-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319964171","9783319964188"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96418-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}