{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:09Z","timestamp":1725664329160},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603603"},{"type":"electronic","value":"9783540450504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60360-3_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:20:14Z","timestamp":1330280414000},"page":"64-81","source":"Crossref","is-referenced-by-count":2,"title":["Determining storage properties of sequential and concurrent programs with assignment and structured data"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Colby","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"6_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"issue":"5","key":"6_CR2","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1109\/PGEC.1966.264565","volume":"15","author":"A. J. Bernstein","year":"1966","unstructured":"A.J. Bernstein. Analysis of programs for parallel processing. IEEE Transactions on Computers, 15(5):757\u2013763, October 1966.","journal-title":"IEEE Transactions on Computers"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"A. Bloss. Update analysis and the efficient implementation of functional aggregates. In International Conference on Functional Programming and Computer Architecture, pages 26\u201338, September 1989.","DOI":"10.1145\/99370.99373"},{"key":"6_CR4","unstructured":"Christopher Colby. Analysis of synchronization and aliasing with abstract interpretation. Unpublished."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Christopher Colby. Analyzing the communication topology of concurrent programs. In ACM\/IFIP Symposium of Partial Evaluation and Semantics Based Program Manupulation, 1995.","DOI":"10.1145\/215465.215592"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixpoints. In Fourth Annual ACM Symposium on Principles of Programming Languages, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"4","key":"6_CR7","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511\u2013547, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, pages 84\u201397, January 1978.","DOI":"10.1145\/512760.512770"},{"key":"6_CR9","volume-title":"PhD thesis","author":"A. Deutsch","year":"1992","unstructured":"Alain Deutsch. Operational Models of Programming Languages and Representations of Relations on Regular Languages with Application to the Static Determination of Dynamic Aliasing Properties of Data. PhD thesis, LIX, Ecole Polytechnique, Palaiseau, France, 1992."},{"key":"6_CR10","unstructured":"S. Eilenberg. Automata, Languages, and Machines, volume A. Academic Press, 1974."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"K. Gopinath and J.L. Henessy. Copy elimination in functional languages. In Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, pages 303\u2013314, January 1989.","DOI":"10.1145\/75277.75304"},{"key":"6_CR12","volume-title":"PhD thesis","author":"P. Granger","year":"1991","unstructured":"P. Granger. Analyses S\u00e9mantiques de Congruence. PhD thesis, Ecole Polytechnique, Palaiseau, France, July 1991."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"P. Granger. Static analysis on linear congruence equalities among variables of a program. In TAPSOFT'91, volume 493 of Lecture Notes in Computer Science, pages 169\u2013192. Springer Verlag, 1991.","DOI":"10.1007\/3-540-53982-4_10"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"N. D. Jones and S. S. Muchnick. Flow analysis and optimization of LISP-like structures. In Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, pages 244\u2013256, January 1979.","DOI":"10.1145\/567752.567776"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"S.B. Jones and D. Le M\u00e9tayer. Compile-time garbage collection by sharing analysis. In International Conference on Functional Programming and Computer Architecture, pages 54\u201374, September 1989.","DOI":"10.1145\/99370.99375"},{"key":"6_CR16","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M. Karr","year":"1976","unstructured":"M. Karr. Affine relationships among variables of a program. Acta Informatica, 6:133\u2013151, 1976.","journal-title":"Acta Informatica"},{"key":"6_CR17","unstructured":"F. Masdupuy. Using abstract interpretation to detect array data dependencies. In Proceedings of the International Symposium on Supercomputing, pages 19\u201327. Kyushu University Press, November 1991."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Greg Morrisett, Matthias Felleisen, and Robert Harper. Abstract models of memory management. In International Conference on Functional Programming and Computer Architecture, June 1995.","DOI":"10.1145\/224164.224182"},{"key":"6_CR19","unstructured":"Steven S. Muchnick and Neil D. Jones, editors. Program Flow Analysis: Theory and Applications. Prentice-Hall, Inc., 1981."},{"key":"6_CR20","volume-title":"PhD thesis","author":"A. Mycroft","year":"1981","unstructured":"Alan Mycroft. Abstract Interpretation and Optimising Transformations for Applicative Programs. PhD thesis, Department of Computer Science, University of Edinburgh, Scotland, 1981."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Martin Odersky. Observers for linear types. In ESOP'92, volume 582 of Lecture Notes in Computer Science, pages 390\u2013407. Springer Verlag, February 1992.","DOI":"10.1007\/3-540-55253-7_23"},{"key":"6_CR22","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01205181","volume":"7","author":"B. Rau","year":"1993","unstructured":"B. Rau and J. Fisher. Instruction-level parallel processing. The Journal of Supercomputing, 7:9\u201350, 1993.","journal-title":"The Journal of Supercomputing"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"J.C. Reynolds. Syntactic control of interference, part ii. In ICALP, volume 372 of Lecture Notes in Computer Science, pages 704\u2013722. Springer Verlag, 1989.","DOI":"10.1007\/BFb0035793"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"C. Ruggieri and T. Murtagh. Lifetime analysis of dynamically allocated objects. In Fifteenth Annual ACM Symposium on Principles of Programming Languages, January 1988.","DOI":"10.1145\/73560.73585"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Peter Sestoft. Replacing function parameters by global variables. In International Conference on Functional Programming and Computer Architecture, pages 39\u201353, September 1989.","DOI":"10.1145\/99370.99374"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Phil Wadler. Is there a use for linear logic. In ACM\/IFIP Symposium of Partial Evaluation and Semantics Based Program Manupulation, 1991.","DOI":"10.1145\/115865.115894"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"D.W. Wall. Limits of instruction-level parallelism. In Proceedings ASPLOS III, April 1991.","DOI":"10.1145\/106972.106991"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60360-3_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:23Z","timestamp":1605646703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60360-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603603","9783540450504"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-60360-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}