{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:13Z","timestamp":1725663613025},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572725"},{"type":"electronic","value":"9783540480310"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57272-4_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:35:32Z","timestamp":1330259732000},"page":"132-144","source":"Crossref","is-referenced-by-count":1,"title":["A uniform approach to deduction and automatic implementation"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Forcheri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Teresa","family":"Molfino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Schenone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"12_CR1","unstructured":"Antoy, S., (1987), \u201cAutomatically Provable Specifications\u201d, Ph.D. Thesis Department of Computer Science, University of Maryland"},{"key":"12_CR2","unstructured":"Antoy, S., (1989), \u201cAlgebraic Methods in Prolog Programming\u201d, Virginia Tech, TR89-5, March 1989"},{"key":"12_CR3","unstructured":"Antoy, S., (1990), \u201cDesign strategies for rewrite rules\u201d, Proceedings of 2th Int. Workshop on Conditional and Typed Rewriting, LNCS 516, Springer-Verlag, pp.333\u2013341"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Antoy, S., Forcheri, P., Molfino, M.T.,(1990), \u201cSpecification-based code generation\u201d, Proceedings of the Twenty-third Annual Hawai Int. Conference on Systems Sciences, IEEE Computer Society Press, pp. 165\u2013173","DOI":"10.1109\/HICSS.1990.205185"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Antoy, S., Forcheri, P., Molfino, M.T., Zelkowitz, M.,(1990), \u201cRapid prototyping of Systems Enhancements\u201d, Proceedings of the First Int. Conference on Systems Integration, IEEE Computer Society Press, pp.330\u2013336","DOI":"10.1109\/ICSI.1990.138698"},{"key":"12_CR6","unstructured":"Avenhaus, J., Madlener K., (1990), \u201cTerm Rewriting and Equational Reasoning\u201d, in Formal Techniques in Artificial Intelligence, Banerji R.B. (ed.), North Holland, pp. 1\u201343"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/321864.321875","volume":"22\u20131","author":"R.S. Boyer","year":"1975","unstructured":"Boyer, R.S., Moore J.S., (1975), \u201cProving Theorems about LISP Functions\u201d, JACM 22\u20131, pp. 129\u2013144","journal-title":"JACM"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Butler, G., Cannon, J., (1990), \u201cThe Design of Cayley \u2014 A Language for Modern Algebra\u201d, Proceedings of DISCO90, Design and Implementation of Symbolic Computation Systems, Miola A. (Ed.), LNCS 429, Springer-Verlag, pp. 10\u201319","DOI":"10.1007\/3-540-52531-9_119"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Jouannaud, J.P., (1990), \u201cRewrite systems\u201d, in Handbook of Theoretical Computer Science, vol.B, (Van Leeuwen, J., ed.), Elsevier, pp.243\u2013320","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Dewar, M.C., Richardson, M.G., (1990), \u201cReconciling Symbolic and Numeric Computation in a Practical Setting\u201d, Proceedings of DISCO90, Design and Implementation of Symbolic Computation Systems, Miola A. (Ed.), LNCS 429, Springer-Verlag, pp.195\u2013204","DOI":"10.1007\/3-540-52531-9_140"},{"key":"12_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specifications 1","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B., (1985), \u201cFundamentals of Algebraic Specifications 1\u201d, Springer-Verlag, Berlin."},{"key":"12_CR12","unstructured":"Forcheri, P., Molfino, M.T., (1990), \u201cEducational Software Suitable for Learning Programming\u201d, Proceedings of CATS'90, CIMNE-Pineridge Press, pp.161\u2013164"},{"issue":"N.12","key":"12_CR13","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J.V. Guttag","year":"1978","unstructured":"Guttag J.V., Horowitz E., Musser D.R., (1978), \u201cAbstract Data Types and Software Validation\u201d, ACM Communications, vol. 21, N.12, pp. 1048\u20131063","journal-title":"ACM Communications"},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-0000(81)90002-7","volume":"N.23","author":"G. Huet","year":"1981","unstructured":"Huet, G., (1981), \u201cA Complete Proof of Correctness of Knuth-Bendix Completion Algorithm\u201d, Journal of Computer and System Sciences, N.23, pp. 11\u201321","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR15","unstructured":"Miola, A., (1990), \u201cTasso \u2014 A System for Mathematical Problems Solving\u201d, in Computer Systems and Applications, Balagurusamy E., Sushila, B., (Eds.), Tata McGraw-Hill"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0743-1066(87)90006-9","volume":"4","author":"H. v. E. Maarten","year":"1987","unstructured":"Maarten H. van Emden and Keitaro Yukawa, (1987), \u201cLogic Programming with Equations\u201d, The Journal of Logic Programming, 4, pp. 265\u2013288.","journal-title":"The Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Symbolic Computation Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57272-4_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:38Z","timestamp":1605647438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57272-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572725","9783540480310"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-57272-4_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}