{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:34Z","timestamp":1725663394327},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540562825"},{"type":"electronic","value":"9783540475057"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-56282-6_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:00:39Z","timestamp":1330254039000},"page":"120-134","source":"Crossref","is-referenced-by-count":2,"title":["Compiler optimizations for low-level redundancy elimination: An application of meta-level prolog primitives"],"prefix":"10.1007","author":[{"given":"Saumya K.","family":"Debray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"8_CR1","unstructured":"A. V. Aho, R. Sethi and J. D. Ullman, Compilers \u2014 Principles, Techniques and Tools, Addison-Wesley, 1986."},{"key":"8_CR2","unstructured":"M. Carlsson, personal communication, Jan. 1992."},{"key":"8_CR3","volume-title":"Programming Languages and their Compilers: Preliminary Notes","author":"J. Cocke","year":"1970","unstructured":"J. Cocke and J. T. Schwartz, Programming Languages and their Compilers: Preliminary Notes, Second Revised Version, Courant Institute of Mathematical Science, New York, 1970.","edition":"Second Revised"},{"key":"8_CR4","unstructured":"R. Cytron and J. Ferrante, \u201cWhat's in a Name? or, The Value of Renaming for Parallelism Detection and Storage Allocation\u201d, Proc. 1987 International Conference on Parallel Processing, St. Charles, IL, Aug. 1987."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"R. Cytron, J. Ferrante, B. Rosen, and M. Wegman, \u201cEfficiently Computing Static Single Assignment Form and the Control Dependence Graph\u201d, ACM Transactions on Programming Languages and Systems vol. 13 no. 4, pp. 451\u2013490.","DOI":"10.1145\/115372.115320"},{"key":"8_CR6","volume-title":"research report","author":"S. K. Debray","year":"1991","unstructured":"S. K. Debray, \u201cQD-Janus: A Prolog Implementation of Janus\u201d, research report, Dept. of Computer Science, The University of Arizona, Tucson, May 1991."},{"key":"8_CR7","unstructured":"A. Houri and E. Shapiro, \u201cA Sequential Abstract Machine for Flat Concurrent Prolog\u201d, in Concurrent Prolog: Collected Papers, vol. 2, ed. E. Shapiro, pp. 513\u2013574. MIT Press, 1987."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"H. J. Komorowski, \u201cPartial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog\u201d, Proc. Ninth ACM Symposium on Principles of Programming Languages, Albuquerque, NM, Jan. 1982.","DOI":"10.1145\/582153.582181"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"J. H. Reif and H. R. Lewis, \u201cSymbolic Evaluation and the Global Value Graph\u201d, Proc. Fourth ACM Symp. on Principles of Programming Languages, Jan. 1977, pp. 104\u2013118.","DOI":"10.1145\/512950.512961"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"B. K. Rosen, M. N. Wegman, and F. K. Zadeck, \u201cGlobal Value Numbers and Redundant Computations\u201d, Proc. 1988 ACM Symp. on Principles of Programming Languages, San Diego, CA, Jan. 1988, pp. 12\u201327.","DOI":"10.1145\/73560.73562"},{"key":"8_CR11","first-page":"431","volume-title":"Proc. 1990 North American Conference on Logic Programming","author":"V. A. Saraswat","year":"1990","unstructured":"V. A. Saraswat, K. Kahn, and J. Levy, \u201cJanus: A step towards distributed constraint programming\u201d, in Proc. 1990 North American Conference on Logic Programming, Austin, TX, Oct. 1990, pp. 431\u2013446. MIT Press."},{"key":"8_CR12","volume-title":"Technical Note 309","author":"D. H. D. D. Warren","year":"1983","unstructured":"D. H. D. Warren, \u201cAn Abstract Prolog Instruction Set\u201d, Technical Note 309, SRI International, Menlo Park, CA, Oct. 1983."},{"issue":"no.2","key":"8_CR13","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"M. N. Wegman","year":"1991","unstructured":"M. N. Wegman and F. K. Zadeck, \u201cConstant Propagation with Conditional Branches\u201d, ACM Transactions on Programming Languages and Systems vol. 13 no. 2, April 1991, pp. 181\u2013210.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR14","volume-title":"The Design of an Optimizing Compiler","author":"W. Wulf","year":"1975","unstructured":"W. Wulf, R. K. Johnsson, C. B. Weinstock, S. O. Hobbs, and C. M. Geschke, The Design of an Optimizing Compiler, American Elsevier, New York, 1975."}],"container-title":["Lecture Notes in Computer Science","Meta-Programming in Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56282-6_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:10Z","timestamp":1605646990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56282-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540562825","9783540475057"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56282-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}