{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:40:16Z","timestamp":1725565216751},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152733"},{"type":"electronic","value":"9783642152740"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15274-0_7","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T10:17:34Z","timestamp":1283595454000},"page":"73-84","source":"Crossref","is-referenced-by-count":1,"title":["Type Specialization in Aldor"],"prefix":"10.1007","author":[{"given":"Laurentiu","family":"Dragan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen M.","family":"Watt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","first-page":"25","volume-title":"Proc. ISSAC 1994","author":"S.M. Watt","year":"1994","unstructured":"Watt, S.M., Broadbery, P.A., Dooley, S.S., Iglio, P., Steinbach, J.M., Sutor, R.S.: A First Report on the A\n                # Compiler. In: Proc. ISSAC 1994, pp. 25\u201331. ACM Press, New York (1994)"},{"key":"7_CR2","unstructured":"Aldor User Guide (2000), \n                  \n                    http:\/\/www.aldor.org\/"},{"key":"7_CR3","first-page":"265","volume-title":"Handbook of Computer Algebra","author":"S.M. Watt","year":"2003","unstructured":"Watt, S.M.: Aldor. In: Grabmeier, J., Kaltofen, E., Weispfenning, V. (eds.) Handbook of Computer Algebra, pp. 265\u2013270. Springer, Heidelberg (2003)"},{"key":"7_CR4","volume-title":"Partial Evaluation And Automatic Program Generation","author":"N. Jones","year":"1993","unstructured":"Jones, N., Gomard, C., Sestoft, P.: Partial Evaluation And Automatic Program Generation. Prentice Hall, Englewood Cliffs (1993), ISBN 0-13-020249-5"},{"key":"7_CR5","unstructured":"Watt, S.M., Broadbery, P.A., Iglio, P., Morrison, S.C., Steinbach, J.M.: FOAM: First Oder Abstract Machine, \n                  \n                    http:\/\/www.aldor.org"},{"key":"7_CR6","unstructured":"Dragan, L., Watt, S.M.: Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra. In: Maple Summer Workshop, Waterloo, Canada, pp. 243\u2013259 (2005), ISBN 1-89451-185-9"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Dragan, L., Watt, S.M.: Performance Analysis of Generics in Scientific Computing. In: Proceedings of Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, pp. 90\u2013100 (2005), ISBN 0-7695-2453-2","DOI":"10.1109\/SYNASC.2005.56"},{"key":"7_CR8","first-page":"1","volume-title":"Proc. OOPSLA 1999","author":"J.-D. Choi","year":"1999","unstructured":"Choi, J.-D., Gupta, M., Serrano, M., Shreedhar, V.C., Midkiff, S.: Escape Analysis for Java. In: Proc. OOPSLA 1999, pp. 1\u201319. ACM Press, New York (1999)"},{"key":"7_CR9","unstructured":"Stepanov, A.A.: Appendix D.3 of Technical Report on C++ Performance, ISO\/IEC PDTR 18015 (2003)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15274-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T18:20:24Z","timestamp":1553019624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15274-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152733","9783642152740"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15274-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}