{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:35Z","timestamp":1772163935790,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,6,13]],"date-time":"2007-06-13T00:00:00Z","timestamp":1181692800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,6,13]]},"DOI":"10.1145\/1254766.1254778","type":"proceedings-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T12:07:37Z","timestamp":1189771657000},"page":"73-82","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Bee+Cl@k"],"prefix":"10.1145","author":[{"given":"Christophe","family":"Alias","sequence":"first","affiliation":[{"name":"LIP: CNRS - ENS Lyon - UCB Lyon - INRIA, Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Baray","sequence":"additional","affiliation":[{"name":"LIP: CNRS - ENS Lyon - UCB Lyon - INRIA, Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Darte","sequence":"additional","affiliation":[{"name":"LIP: CNRS - ENS Lyon - UCB Lyon - INRIA, Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/259794.259900"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.2006.42"},{"key":"e_1_3_2_1_3_1","volume-title":"Universit\u00e9 L. Pasteur","author":"Clauss P.","year":"2006","unstructured":"P. Clauss , F.J. Fernandez , D. Gabervetsky , and S. Verdoolaege . Symbolic polynomial maximization over convex sets and its application to memory requirement estimation. T.R. ICPS number 06-04 , Universit\u00e9 L. Pasteur , Oct. 2006 . P. Clauss, F.J. Fernandez, D. Gabervetsky, and S. Verdoolaege. Symbolic polynomial maximization over convex sets and its application to memory requirement estimation. T.R. ICPS number 06-04, Universit\u00e9 L. Pasteur, Oct. 2006."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209947"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-005-4937-3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/951710.951749"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.167"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(97)00089-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1051\/ro\/1988220302431"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407931"},{"key":"e_1_3_2_1_11_1","unstructured":"GNU Free Software. GLPK (GNU Linear Programming Kit). http:\/\/www.gnu.org\/software\/glpk.  GNU Free Software. GLPK (GNU Linear Programming Kit). http:\/\/www.gnu.org\/software\/glpk."},{"key":"e_1_3_2_1_12_1","volume-title":"Geometry of Numbers. North Holland","author":"Gruber P.M.","year":"1987","unstructured":"P.M. Gruber and C.G. Lekkerkerker . Geometry of Numbers. North Holland , second edition, 1987 . P.M. Gruber and C.G. Lekkerkerker. Geometry of Numbers. North Holland, second edition, 1987."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2002.1033026"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(98)00029-5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.17.3.751"},{"key":"e_1_3_2_1_16_1","volume-title":"Integral Matrices","author":"Newman M.","year":"1972","unstructured":"M. Newman . Integral Matrices . Academic Press , 1972 . M. Newman. Integral Matrices. Academic Press, 1972."},{"key":"e_1_3_2_1_17_1","unstructured":"PIP\/Polylib: http:\/\/www.piplib.org.  PIP\/Polylib: http:\/\/www.piplib.org."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/135226.135233"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/365151.365152"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626400000214"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378523"},{"key":"e_1_3_2_1_22_1","first-page":"653","volume-title":"HPCN'99, LNCS 1593","author":"Silber G.-A.","year":"1999","unstructured":"G.-A. Silber and A. Darte . The Nestor library: A tool for implementing Fortran source to source transformations . In HPCN'99, LNCS 1593 , pp. 653 -- 662 . Springer Verlag , 1999 . G.-A. Silber and A. Darte. The Nestor library: A tool for implementing Fortran source to source transformations. In HPCN'99, LNCS 1593, pp. 653--662. Springer Verlag, 1999."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.62"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/291069.291015"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378852"},{"key":"e_1_3_2_1_26_1","first-page":"167","volume-title":"Storage size reduction by in-place mapping of arrays","author":"Tron\u0083on R.","year":"2002","unstructured":"R. Tron\u0083on , M. Bruynooghe , G. Janssens , and F. Catthoor . Storage size reduction by in-place mapping of arrays . In ACortesi, editor, VMCAI'02, LNCS 2294, pp. 167 -- 181 . Springer Verlag , 2002 . R. Tron\u0083on, M. Bruynooghe, G. Janssens, and F. Catthoor. Storage size reduction by in-place mapping of arrays. In ACortesi, editor, VMCAI'02, LNCS 2294, pp. 167--181. Springer Verlag, 2002."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1023833.1023864"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151074.1151085"},{"key":"e_1_3_2_1_29_1","volume-title":"Workshop on Opt. for DSP and Embedded Systems (ODES-4)","author":"Verdoolaege S.","year":"2006","unstructured":"S. Verdoolaege , H. Nikolov , and T. Stefanov . Improved derivation of process networks . In Workshop on Opt. for DSP and Embedded Systems (ODES-4) , Mar. 2006 . S. Verdoolaege, H. Nikolov, and T. Stefanov. Improved derivation of process networks. In Workshop on Opt. for DSP and Embedded Systems (ODES-4), Mar. 2006."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113449"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.310074"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1118299.1118483"}],"event":{"name":"LCTES 07: ACM SIGBED-SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems","location":"San Diego California USA","acronym":"LCTES 07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGARCH ACM Special Interest Group on Computer Architecture","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 2007 ACM SIGPLAN\/SIGBED conference on Languages, compilers, and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1254766.1254778","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1254766.1254778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:47:48Z","timestamp":1750243668000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1254766.1254778"}},"subtitle":["an implementation of lattice-based array contraction in the source-to-source translator rose"],"short-title":[],"issued":{"date-parts":[[2007,6,13]]},"references-count":32,"alternative-id":["10.1145\/1254766.1254778","10.1145\/1254766"],"URL":"https:\/\/doi.org\/10.1145\/1254766.1254778","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1273444.1254778","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,6,13]]},"assertion":[{"value":"2007-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}