{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:53Z","timestamp":1725663593553},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:35:35Z","timestamp":1330241735000},"page":"162-172","source":"Crossref","is-referenced-by-count":0,"title":["Design and implementation of a retargetable ALDES compiler"],"prefix":"10.1007","author":[{"given":"G\u00e1bor","family":"Simon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"2","key":"15_CR1","first-page":"19","volume":"12","author":"G.E. Collins","year":"1980","unstructured":"G.E. Collins, 1980: ALDES and SAC-2 now available. SIGSAM bull., 12(2):19.","journal-title":"SIGSAM bull."},{"key":"15_CR2","unstructured":"G.E. Collins and R.G.K. Loos: SAC-2 system documentation. In Europe available from: R.G.K. Loos, Universit\u00e4t T\u00fcbingen D-7400 T\u00fcbingen, Germany. In the U.S. available from: G. E. Collins, Ohio State University, Computer Science, Columbus, OH 43210, U.S.A."},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","volume":"5","author":"J.H. Davenport","year":"1988","unstructured":"J.H. Davenport and J. Heintz, 1988: Real Quantifier Elimination is Doubly Exponential. J. Symbolic Computation, 5:29\u201335.","journal-title":"J. Symbolic Computation"},{"key":"15_CR4","volume-title":"PhD thesis","author":"H. Hong","year":"1990","unstructured":"H. Hong, 1990: An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. PhD thesis, Ohio State University, Columbus."},{"key":"15_CR5","unstructured":"D.E. Knuth, 1981: The Art of Computer Programming, Volume 2 \u2014 Seminumerical Algorithm. Addison-Wesley."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"H. Kredel, 1989: From SAC-2 to Modula-2. In Proc. ISSAC'88 Rome, LNCS 358, pp 447\u2013455, Springer.","DOI":"10.1007\/3-540-51084-2_42"},{"issue":"1","key":"15_CR7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/14956.14958","volume":"14","author":"L. Langemyr","year":"1986","unstructured":"L. Langemyr, 1986: Converting SAC-2 code to lisp. SIGSAM bull., 14(1):11\u201313.","journal-title":"SIGSAM bull."},{"issue":"4","key":"15_CR8","first-page":"15","volume":"14","author":"R.G.K. Loos","year":"1976","unstructured":"R.G.K. Loos, 1976: The algorithm description language ALDES. SIGSAM bull., 14(4):15\u201339.","journal-title":"SIGSAM bull."},{"key":"15_CR9","first-page":"115","volume-title":"Computer Algebra, Symbolic and Algebraic Computation","author":"R.G.K. Loos","year":"1982","unstructured":"R.G.K. Loos, 1982: Generalized polynomial remainder sequences. In B. Buchberger, G.E. Collins, and R.G.K. Loos, editors, Computer Algebra, Symbolic and Algebraic Computation, pages 115\u2013137, Springer-Verlag, Wien-New York."},{"key":"15_CR10","unstructured":"M. S\u00e4mann, 1978: ALDES-Code-Erzeugung f\u00fcr Siemens 7.000 und IBM 360\/370 Maschinen. Diplomarbeit. Fakult\u00e4t f\u00fcr Informatik, Univ. Karlsruhe."},{"issue":"9","key":"15_CR11","doi-asserted-by":"crossref","first-page":"654","DOI":"10.1145\/358172.358182","volume":"26","author":"A.S. Tanenbaum","year":"1983","unstructured":"A.S. Tanenbaum, H. avan Staveren, E.G. Keizer, J.W. Stevenson, 1983: A Practical Toolkit for Making Portable Compilers. Commun. ACM, 26(9):654\u2013660.","journal-title":"Commun. ACM"},{"key":"15_CR12","volume-title":"Tecnical Report IR-81","author":"A.S. Tanenbaum","year":"1983","unstructured":"A.S. Tanenbaum, H. van Staveren, E.G. Keizer, J.W. Stevenson, 1983: Description of a machine architecture for use with block structured languages. Tecnical Report IR-81, Vrije Universiteit, Amsterdam."}],"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_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:39Z","timestamp":1605629439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57272-4_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572725","9783540480310"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-57272-4_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}