{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:45:49Z","timestamp":1743036349070,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642164774"},{"type":"electronic","value":"9783642164781"}],"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-16478-1_7","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:07:22Z","timestamp":1288688842000},"page":"107-124","source":"Crossref","is-referenced-by-count":0,"title":["Symbiotic Expressions"],"prefix":"10.1007","author":[{"given":"Robert","family":"Bernecky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Herhut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven-Bodo","family":"Scholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Cann, D.C.: Compilation Techniques for High Performance Applicative Computation. PhD thesis, Computer Science Department, Colorado State University (1989)","key":"7_CR1"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/197405.197406","volume":"26","author":"D.F. Bacon","year":"1994","unstructured":"Bacon, D.F., Graham, S.L., Sharp, O.J.: Compiler transformations for high-performance computing. ACM Computing Surveys\u00a026, 345\u2013420 (1994)","journal-title":"ACM Computing Surveys"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D. Padua","year":"1986","unstructured":"Padua, D., Wolfe, M.: Advanced Compiler Optimizations for Supercomputers. ACM Comm.\u00a029, 1184\u20131201 (1986)","journal-title":"ACM Comm."},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1017\/S0956796802004458","volume":"13","author":"S.B. Scholz","year":"2003","unstructured":"Scholz, S.B.: Single Assignment C \u2014 efficient support for high-level array operations in a functional setting. Journal of Functional Programming\u00a013, 1005\u20131059 (2003)","journal-title":"Journal of Functional Programming"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0055425","volume-title":"Implementation of Functional Languages","author":"S.B. Scholz","year":"1998","unstructured":"Scholz, S.B.: With-loop-folding in sac\u2013Condensing Consecutive Array Operations. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol.\u00a01467, pp. 72\u201392. Springer, Heidelberg (1998)"},{"key":"7_CR6","first-page":"182","volume-title":"PLDI 2000 Conference Proceedings","author":"R. Rugina","year":"2000","unstructured":"Rugina, R., Rinard, M.: Symbolic bounds analysis of pointers, array indices, and accessed memory regions. In: PLDI 2000 Conference Proceedings, pp. 182\u2013195. ACM, New York (2000)"},{"unstructured":"Dutertre, B., de Moura, L.: The yices smt solver. Technical report, SRI International (2006)","key":"7_CR7"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/135226.135233","volume":"35","author":"W. Pugh","year":"1992","unstructured":"Pugh, W.: A practical algorithm for exact array dependence analysis. CACM\u00a035, 102\u2013115 (1992)","journal-title":"CACM"},{"unstructured":"Kelly, W., Maslov, V., Pugh, W., Rosser, E., Shpeisman, T., Wonnacott, D.: The OMEGA library, version 1.1.0 interface guide. Technical report, University of Maryland (1996)","key":"7_CR9"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74130-5_1","volume-title":"Implementation and Application of Functional Languages","author":"K. Trojahner","year":"2007","unstructured":"Trojahner, K., Grelck, C., Scholz, S.B.: On Optimising Shape-Generic Array Language Programs using Symbolic Structural Information. In: Horv\u00e1th, Z., Zs\u00f3k, V., Butterfield, A. (eds.) IFL 2006. LNCS, vol.\u00a04449, pp. 1\u201318. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: An efficient method for computing static single assignment form. In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, pp. 23\u201335 (1989)","key":"7_CR11","DOI":"10.1145\/75277.75280"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-540-85373-2_15","volume-title":"Implementation and Application of Functional Languages","author":"S. Herhut","year":"2008","unstructured":"Herhut, S., Scholz, S.B., Bernecky, R., Grelck, C., Trojahner, K.: From contracts towards dependent types: Proofs by partial evaluation. In: Chitil, O., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) IFL 2007. LNCS, vol.\u00a05083, pp. 254\u2013273. Springer, Heidelberg (2008)"},{"unstructured":"Browne, S., Deane, C., Ho, G., Mucci, P.: Papi: A portable interface to hardware performance counters. In: HPCMP Users Group Conference, U.S Department of Defense (1999)","key":"7_CR13"},{"unstructured":"Mucci, P.: Papiex - execute arbitrary application and measure hardware performance counters with papi (2009)","key":"7_CR14"},{"unstructured":"Bernecky, R.: APEX: The APL Parallel Executor. Master\u2019s thesis, University of Toronto (1997)","key":"7_CR15"},{"key":"7_CR16","first-page":"397","volume-title":"POPL 2006 Conference Proceedings","author":"V.S. Menon","year":"2006","unstructured":"Menon, V.S., Glew, N., Murphy, B.R., McCreight, A., Shpeisman, T., Tabatabai, A.-R., Petersen, L.: A verifiable SSA program representation for aggressive compiler optimization. In: POPL 2006 Conference Proceedings, pp. 397\u2013408. ACM, New York (2006)"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/113446.113468","volume":"26","author":"T. Freeman","year":"1991","unstructured":"Freeman, T., Pfenning, F.: Refinement types for ml. SIGPLAN Not.\u00a026, 268\u2013277 (1991)","journal-title":"SIGPLAN Not."},{"key":"7_CR18","first-page":"214","volume-title":"POPL 1999","author":"H. Xi","year":"1999","unstructured":"Xi, H., Pfenning, F.: Dependent Types in Practical Programming. In: POPL 1999, pp. 214\u2013227. ACM Press, New York (1999)"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/32.713327","volume":"24","author":"J. Rushby","year":"1998","unstructured":"Rushby, J., Owre, S., Shankar, N.: Subtypes for specifications: Predicate subtyping in PVS. IEEE Transactions on Software Engineering\u00a024, 709\u2013720 (1998)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16478-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T19:16:02Z","timestamp":1553195762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16478-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642164774","9783642164781"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16478-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}