{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:15Z","timestamp":1725664875733},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610533"},{"type":"electronic","value":"9783540499398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61053-7_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:13:45Z","timestamp":1330290825000},"page":"74-90","source":"Crossref","is-referenced-by-count":8,"title":["Generalized Constant Propagation a study in C"],"prefix":"10.1007","author":[{"given":"Clark","family":"Verbrugge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phong","family":"Co","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Bourdoncle. Abstract debugging of higher-order imperative languages. In Proc. of SIGPLAN PLDI '93, pages 46\u201355, Albuquerque, N. Mex., Jun. 1993.","DOI":"10.1145\/155090.155095"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixpoints. In Conf. Rec. of POPL-4, pages 238\u2013252, Los Angeles, Calif., Jan. 1977.","DOI":"10.1145\/512950.512973"},{"key":"6_CR3","volume-title":"Technical Report LIX\/RR\/92\/09","author":"P. Cousot","year":"1992","unstructured":"Patrick Cousot and Radhia Cousot. Comparing the galois connection and widening \/ narrowing approaches to abstract interpretation. Technical Report LIX\/RR\/92\/09, Ecole Polytechnique Laboratoire d'Informatique, 91128 Palaiseau Cedex, France, Juin 1992."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"David Callahan, Keith D. Cooper, Ken Kennedy, and Linda Torczon. Interprocedural constant propagation. In Proc. of the SIGPLAN '86 Symp. on Compiler Construction, pages 152\u2013161, Palo Alto, Calif., Jun. 1986.","DOI":"10.1145\/12276.13327"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Paul R. Carini and Michael Hind. Flow-sensitive interprocedural constant propagation. In Proc. of SIGPLAN PLDI '95, pages 23\u201331, La Jolla, Calif., Jun. 1995.","DOI":"10.1145\/207110.207113"},{"issue":"2","key":"6_CR6","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1109\/TSE.1981.234518","volume":"SE-7","author":"N. Dershowitz","year":"1981","unstructured":"Nachum Dershowitz and Zohar Manna. Inference rules for program annotation. IEEE Transactions on Software Engineering, SE-7(2):207\u2013222, Mar. 1981.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proc. of SIGPLAN PLDI '94, pages 242\u2013256, Orlando, Flor., Jun. 1994.","DOI":"10.1145\/178243.178264"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Ana M. Erosa and Laurie J. Hendren. Taming control flow: A structured approach to eliminating goto statements. In Proc. of the 1994 Intl. Conf. on Computer Languages, pages 229\u2013240, Toulouse, France, May 1994.","DOI":"10.1109\/ICCL.1994.288377"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Dan Grove and Linda Torczon. Interprocedural constant propagation: A study of jump function implementations. In Proc. of SIGPLAN PLDI '93, pages 90\u201399, Albuquerque, N. Mex., Jun. 1993.","DOI":"10.1145\/155090.155099"},{"issue":"3","key":"6_CR10","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1109\/TSE.1977.231133","volume":"3","author":"W. H. Harrison","year":"1977","unstructured":"William H. Harrison. Compiler analysis of the value ranges for variables. IEEE Trans. on Software Eng., 3(3):243\u2013250, May 1977.","journal-title":"IEEE Trans. on Software Eng."},{"key":"6_CR11","first-page":"406","volume-title":"number 757 in LNCS","author":"L. Hendren","year":"1993","unstructured":"L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proc. of the 5th Intl. Work, on Languages and Compilers for Parallel Computing, number 757 in LNCS, pages 406\u2013420, New Haven, Conn., Aug. 1992. Springer-Verlag. Publ. in 1993."},{"key":"6_CR12","volume-title":"ACAPS Tech. Memo 72","author":"L. J. Hendren","year":"1993","unstructured":"Laurie J. Hendren, Maryam Emami, Rakesh Ghiya, and Clark Verbrugge. A practical context-sensitive interprocedural analysis framework for C compilers. ACAPS Tech. Memo 72, Sch. of Comp. Sci., McGill U., Montr\u00e9al, Qu\u00e9., Jul. 1993. In http:\/\/ftp-acaps.cs.mcgill.ca\/pub\/doc\/memos."},{"issue":"1\u20134","key":"6_CR13","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/176454.176526","volume":"2","author":"R. Metzer","year":"1993","unstructured":"Robert Metzer and Sean Stroud. Interprocedural constant propagation: An empirical study. ACM Letters on Programming Languages and Systems, 2(1\u20134):213\u2013232, 1993.","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Jason R. C. Patterson. Accurate static branch prediction by value range propagation. In Proc. of SIGPLAN PLDI '95, pages 67\u201378, La Jolla, Calif., Jun. 1995.","DOI":"10.1145\/207110.207117"},{"key":"6_CR15","volume-title":"Master's thesis","author":"B. Sridharan","year":"1992","unstructured":"Bhama Sridharan. An analysis framework for the McCAT compiler. Master's thesis, McGill U., Montr\u00e9al, Qu\u00e9., Sep. 1992."},{"issue":"2","key":"6_CR16","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"M. N. Wegman","year":"1991","unstructured":"Mark N. Wegman and F. Kenneth Zadeck. Constant propagation with conditional branches. ACM Trans. on Programming Languages and Systems, 13(2):181\u2013210, Apr. 1991.","journal-title":"ACM Trans. on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61053-7_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:29:03Z","timestamp":1619573343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61053-7_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610533","9783540499398"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61053-7_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}