{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:07:01Z","timestamp":1725898021159},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410904"},{"type":"electronic","value":"9783540399537"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39953-4_8","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T11:44:46Z","timestamp":1194954286000},"page":"91-101","source":"Crossref","is-referenced-by-count":0,"title":["Theory and Generality of Complete Traversals"],"prefix":"10.1007","author":[{"given":"David R.","family":"Musser","sequence":"first","affiliation":[]},{"given":"Arturo J.","family":"S\u00e1nchez-Ru\u00edz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"8_CR1","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers\u2014Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"8_CR2","unstructured":"A. V. Aho and J. D. Ullman. The Theory of Parsing, Translation, and Compiling. Volume I: Parsing. Prentice-Hall, 1972."},{"key":"8_CR3","unstructured":"M. H. Austern. Generic Programming and the STL-Using and Extending the C++ Standard Template Library. Addison-Wesley, 1999."},{"key":"8_CR4","unstructured":"D. Bailey. Java Structures\u2014Data Structures in Java for the Principled Programmer. WCB\/McGraw-Hill, 1999."},{"key":"8_CR5","unstructured":"A. Frick, W. Zimmer, and W. Zimmermann. Karla: An Extensible Library of Data Structures and Algorithms. Part I: Design Rationale. Karlsruhe University, Faculty of Computer Science, August 1994."},{"key":"8_CR6","unstructured":"A. Frick and W. Zimmermann. Karla: An Extensible Library of Data Structures and Algorithms. Part II: Usage for Beginners. Karlsruhe University, Faculty of Computer Science, January 1995."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"E. Gamess, D. R. Musser, and A. J. S\u00e1nchez-Ru\u00edz. Complete traversals and their implementation using the standard template library. In Ra\u00fal Monge Anwandter, editor, Proceedings of the XXIII Latinamerican Conference on Informatics, volume I, pages 221\u2013230, Valapara\u00edso, Chile, November 1997. CLEI.","DOI":"10.19153\/cleiej.1.2.4"},{"key":"8_CR8","unstructured":"G. Goos. Sather-K, the language. Technical report, Karlsruhe University, April 1996."},{"key":"8_CR9","volume-title":"Formal Languages: Perspectives and Open Problems","author":"G. Huet","year":"1980","unstructured":"G. Huet and D. Oppen. Equations and rewrite rules: a survey. In R. Book, editor, Formal Languages: Perspectives and Open Problems. Academic Press, New York, 1980."},{"issue":"3","key":"8_CR10","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1145\/155271.155273","volume":"18","author":"Y. Ioannidis","year":"1993","unstructured":"Y. Ioannidis, R. Ramakrishnan, and L. Winger. Transitive closure algorithms based on graph traversal. ACM Transactions on Database Systems, 18(3):512\u2013576, Sept. 1993.","journal-title":"ACM Transactions on Database Systems"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"H. R. Lewis and Ch. H. Papadimitriou. Elements of the Theory of Computation. Prentice-Hall, second edition, 1998.","DOI":"10.1145\/300307.1040360"},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/225540.225541","volume":"18","author":"S. Murer","year":"1996","unstructured":"S. Murer, S. Omohundro, D. Stoutamire, and C. Szyperski. Iteration abstraction in sather. ACM TOPLAS, 18(1):1\u201315, Jan. 1996. Available from http:\/\/www.icsi.berkeley.edu\/~sather\/ .","journal-title":"ACM TOPLAS"},{"key":"8_CR13","unstructured":"D. R. Musser and A. Saini. STL Tutorial and Reference Guide. Addison-Wesley, 1996."},{"key":"8_CR14","volume-title":"Current Trends in Hardware Verification and Automated Theorem Proving","author":"D. R. Musser","year":"1989","unstructured":"David R. Musser. Automated theorem proving for analysis and synthesis of computations. In G. Birtwistle and P. Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving. Springer-Verlag, New York, 1989."},{"key":"8_CR15","unstructured":"ObjectSpace. Objectspace\u2014JGL, the Generic Collection Library for Java. http:\/\/www.objectspace.com\/jgl , 1997."},{"key":"8_CR16","unstructured":"A. A. Stepanov and M. Lee. The standard template library. Technical Report HP-94-93, Hewlett-Packard, 1995."},{"key":"8_CR17","unstructured":"Sun Microsystems. Java 2 Platform API Specification. http:\/\/java.sun.com\/products\/jdk\/1.2\/docs\/api\/index.html , 1999."}],"container-title":["Lecture Notes in Computer Science","Generic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39953-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T21:50:19Z","timestamp":1588024219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39953-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410904","9783540399537"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-39953-4_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}