{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:52Z","timestamp":1725663532088},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540192428"},{"type":"electronic","value":"9783540391661"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19242-5_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:05:22Z","timestamp":1330182322000},"page":"266-278","source":"Crossref","is-referenced-by-count":2,"title":["Architecture for conditional term rewriting"],"prefix":"10.1007","author":[{"given":"Tony","family":"Rush","sequence":"first","affiliation":[]},{"given":"Derek","family":"Coleman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"24_CR1","volume-title":"Proc. 1979 Copenhagen Winter School on Abstract Software Specification","author":"R. M. Burstall","year":"1980","unstructured":"R.M. Burstall and J.A. Goguen. The semantics of CLEAR, a specification language. In D. Bj\u00f8rner, editor, Proc. 1979 Copenhagen Winter School on Abstract Software Specification,, Springer-Verlag, Berlin, 1980. LNCS 86."},{"key":"24_CR2","series-title":"Technical Report","volume-title":"A Framework for Program Development","author":"D. Coleman","year":"1987","unstructured":"D. Coleman and R.M. Gallimore. A Framework for Program Development. Technical Report HPL-BRC-TM-87-014, Software Engineering Dept, Hewlett-Packard Laboratories, Bristol U.K., 1987."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"D. Coleman, R.M. Gallimore, and V.S. Stavridou. The design of a rewrite rule interpreter from algebraic specifications. Software Engineering Journal, July 1987.","DOI":"10.1049\/sej.1987.0013"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In Symposium on Principles of Programming Languages, pages 52\u201366, ACM, 1985.","DOI":"10.1145\/318593.318610"},{"key":"24_CR5","series-title":"Technical Report","volume-title":"The AXIS Specification Language","author":"R. M. Gallimore","year":"1987","unstructured":"R.M. Gallimore, D. Coleman, and C.J. Dollin. The AXIS Specification Language. Technical Report, Software Engineering Dept, Hewlett-Packard Laboratories, Bristol U.K., 1987."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"G. Huet and D. Oppen. Equations and rewrite rules: a survey. In R. Book, editor, Formal Languages: Perspectives and Open Problems., Academic Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"24_CR7","unstructured":"C.B. Jones. Software Development: A Rigorous Approach. Prentice-Hall International, 1980."},{"key":"24_CR8","volume-title":"Rewriting Techniques and Applications, Bordeaux, May 1987","author":"S. Kaplan","year":"1987","unstructured":"S. Kaplan. A compiler for conditional term rewriting systems. In P. Lescanne, editor, Rewriting Techniques and Applications, Bordeaux, May 1987, Springer-Verlag, Berlin, 1987. LNCS 256."},{"key":"24_CR9","volume-title":"The Practical Guide to Structured Systems Design","author":"M. Page-Jones","year":"1980","unstructured":"M. Page-Jones. The Practical Guide to Structured Systems Design. Yourdon Press, New York, 1980."},{"key":"24_CR10","series-title":"Technical Report","volume-title":"Combining Pattern-Matching Algorithms","author":"T. Rush","year":"1986","unstructured":"T. Rush and D. Coleman. Combining Pattern-Matching Algorithms. Technical Report HPL-BRC-TR-86-036, Hewlett-Packard Laboratories, Bristol, U.K., December 1986."},{"key":"24_CR11","volume-title":"Rewriting Techniques and Applications, Dijon, May 1985","author":"K. Yelick","year":"1985","unstructured":"K. Yelick. Combining unification algorithms for confined regular equational theories. In J-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon, May 1985, Springer-Verlag, Berlin, 1985. LNCS 202."}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19242-5_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:20:16Z","timestamp":1619544016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}