{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:11:52Z","timestamp":1742400712635},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354056778X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021727","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:47:42Z","timestamp":1132739262000},"page":"226-241","source":"Crossref","is-referenced-by-count":1,"title":["Rewriting with constraints in T-ruby"],"prefix":"10.1007","author":[{"given":"Robin","family":"Sharp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ole","family":"Rasmussen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"The Calculi of Lambda-conversion","author":"A. Church","year":"1941","unstructured":"A. Church. The Calculi of Lambda-conversion. Princeton University Press, Princeton, New Jersey, 1941."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Science, Volume B: Formal Models and Semantics, chapter 6, pages 243\u2013320. Elsevier Science Publishers B.V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"M. J. C. Gordon, R. Milner, and C. P. Wadsworth. Edinburgh LCF: A Mechanised Logic of Computation, volume 78 of Lecture Notes in Computer Science. Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09724-4"},{"key":"18_CR4","unstructured":"G. Jones and M. Sheeran. Circuit design in Ruby. In J\u00f8rgen Staunstrup, editor, Formal Methods for VLSI Design, pages 13\u201370. Elsevier Science Publishers B.V., 1990."},{"key":"18_CR5","first-page":"133","volume-title":"Relations and refinement in circuit design","author":"G. Jones","year":"1991","unstructured":"G. Jones and M. Sheeran. Relations and refinement in circuit design. In C. C. Morgan and J. C. P. Woodcock, editors, Proceedings of the 3rd. BCS FACS Workshop on Refinement, Workshops in Computing, pages 133\u2013152, London, January 1991. BCS, Springer-Verlag."},{"key":"18_CR6","first-page":"167","volume-title":"Mathematical Logic and Programming Languages","author":"P. Martin-L\u00f6f","year":"1985","unstructured":"P. Martin-L\u00f6f. Constructive mathematics and computer programming. In C. A. R. Hoare and J. C. Shepherdson, editors, Mathematical Logic and Programming Languages, pages 167\u2013184. Prentice-Hall, London, 1985. Also published in Proc. 6th. International Congress for Logic, Methodology and Philosophy of Science, 153\u2013175 (North-Holland, 1982)."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"L. C. Paulson. Logic and Computation, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.","DOI":"10.1017\/CBO9780511526602"},{"key":"18_CR8","unstructured":"Ole Rasmussen. A Ruby rewrite system. Master's thesis, Dept. of Computer Science, Technical University of Denmark, February 1992."},{"key":"18_CR9","unstructured":"L. Rossen. Formal Ruby. In J\u00f8rgen Staunstrup, editor, Formal Methods for VLSI Design, pages 179\u2013190. Elsevier Science Publishers B.V., 1990."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"L. Rossen. Proving (facts about) Ruby. In G. Birtwhistle, editor, IV Higher Order Workshop, Banff, Workshops in Computing, pages 265\u2013283. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4471-3182-3_15"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"L. Rossen. Ruby algebra. In G. Jones and M. Sheeran, editors, Designing Correct Circuits, Oxford 1990, Workshops in Computing, pages 297\u2013312. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4471-3544-9_16"},{"key":"18_CR12","unstructured":"R. Sharp. T-Ruby: A tool for handling Ruby expressions. Technical Report ID-TR: 1992-112, Dept. of Computer Science, Technical University of Denmark, September 1992."},{"key":"18_CR13","unstructured":"R. Sharp. The Ruby framework. Technical Report ID-TR: 1993-xx, Dept. of Computer Science, Technical University of Denmark, 1993. To appear."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"R. Sharp and O. Rasmussen. Transformational rewriting with Ruby. In L. Claesen, editor, CHDL'93. IFIP WG10.2, Elsevier Science Publishers, B.V., 1993. To appear.","DOI":"10.1016\/B978-0-444-81641-2.50024-1"},{"key":"18_CR15","series-title":"volume 158 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/3-540-12689-9_125","volume-title":"Foundations of Computation Theory","author":"J. Smith","year":"1983","unstructured":"J. Smith. The identification of propositions and types in Martin-L\u00f6f's type theory: A programming example. In M. Karpinski, editor, Foundations of Computation Theory, volume 158 of Lecture Notes in Computer Science, pages 445\u2013456, Berlin, 1983. Springer-Verlag."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"D. Weise. Constraints, abstraction and verification. In M. Leeser and G. Brown, editors, Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects, volume 408 of Lecture Notes in Computer Science, pages 25\u201339. Springer-Verlag, 1989.","DOI":"10.1007\/0-387-97226-9_22"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0021727","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:49:57Z","timestamp":1586580597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021727"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354056778X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0021727","relation":{},"subject":[]}}