{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:47Z","timestamp":1725664907262},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631149"},{"type":"electronic","value":"9783540691501"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63114-3_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:05:48Z","timestamp":1330297548000},"page":"161-172","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Parameter-induced aliasing and related problems can be avoided"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Gellerich","sequence":"first","affiliation":[]},{"given":"Erhard","family":"Ploedereder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MC.1982.1653938","volume":"15","author":"W.B. Ackerman","year":"1982","unstructured":"W.B. Ackerman. Data Flow Languages. IEEE Computer, 15(2):14\u201325, February 1982.","journal-title":"IEEE Computer"},{"key":"15_CR2","unstructured":"Ada 95 Reference Manual. Intermetrics, Inc., 1995. ANSI\/ISO\/IEC-8652:1995."},{"issue":"3","key":"15_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/390017.808306","volume":"12","author":"A.L. Ambler","year":"1977","unstructured":"A.L. Ambler. GYPSY: A Language for Specification and Implementation of Verifiable Programs. ACM SIGPLAN Notices, 12(3): 1\u201310, March 1977.","journal-title":"ACM SIGPLAN Notices"},{"issue":"3","key":"15_CR4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/152647.152655","volume":"XIII","author":"H.G. Baker","year":"1993","unstructured":"H.G. Baker. How to Steal from a Limited Private Account \u2014 Why Mode IN OUT Parameters for Limited Types must be Passed by Reference. ACM Ada Letters, XIII(3):91\u201395, May\/June 1993.","journal-title":"ACM Ada Letters"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"T. Birus, C. Cipriani, and D. Sutherland. Interprocedural call optimization. In Reliable Software Technologies \u2014 Ada-Europe 1996, volume 1088 of LNCS, pages 319\u2013329. Springer, 1996.","DOI":"10.1007\/BFb0013499"},{"key":"15_CR6","unstructured":"G. Booch. Software Engineering with Ada. The Benjamin\/Cummings Publishing Co., 2 edition, 1987."},{"key":"15_CR7","unstructured":"D.C. Cann. Retire Fortran? A Debate Rekindled. Technical Report UCRLJC-107018 Rev.2, Lawrence Livermore National Laboratory, 1992."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"K.D. Cooper and K. Kennedy. Fast Interprocedureal Alias Analysis. In Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 49\u201359, 1989.","DOI":"10.1145\/75277.75282"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"K.D. Cooper. Analyzing aliases of reference formal parameters. In Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, pages 281\u2013290. ACM, 1985.","DOI":"10.1145\/318593.318658"},{"key":"15_CR10","unstructured":"R. Cordy, 1994. Discussion in newsgroup comp.lang.misc."},{"key":"15_CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF00264468","volume":"8","author":"J.E. Donahue","year":"1977","unstructured":"J.E. Donahue. Locations considered unnecessary, acta informatica, 8:221\u2013242, 1977.","journal-title":"acta informatica"},{"key":"15_CR12","unstructured":"R.A. Finkel. Advanced Programming Language Design. Addison Wesley, 1995."},{"issue":"1","key":"15_CR13","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/174634.174635","volume":"3","author":"I. Forg\u00e1cs","year":"1994","unstructured":"Istv\u00e1n Forg\u00e1cs. Double iterative framework for flow-sensitive interprocedural data flow analysis. ACM Transactions on Software Engineering and Methodology, 3(1):29\u201355, 1994.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"15_CR14","unstructured":"G. Goos and J. Hartmanis (eds). The Programming Language Ada Reference Manual. Springer, 1983."},{"key":"15_CR15","unstructured":"C. Ghezzi and M. Jazayeri. Programming Language Concepts. John Wiley and Sons, 1987."},{"key":"15_CR16","volume-title":"Modula-3","author":"S.P. Harbison","year":"1992","unstructured":"S.P. Harbison. Modula-3. Prentice-Hall, Englewood Cliffs, NJ, 1992."},{"issue":"3","key":"15_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/390017.808306","volume":"12","author":"J.J. Horning","year":"1977","unstructured":"J.J. Horning, R.W. Lampson, R.L. London, J.G. Mitchell, and G.J. Popek. Notes on the Design of Euclid. ACM SIGPLAN Notices, 12(3):1\u201377, March 1977.","journal-title":"ACM SIGPLAN Notices"},{"issue":"2","key":"15_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/954666.971189","volume":"12","author":"J.J. Horning","year":"1977","unstructured":"J.J. Horning, R.W. Lampson, R.L. London, J.G. Mitchell, and G.J. Popek. Report on the Programming Language Euclid. ACM SIGPLAN Notices, 12(2):1\u201379, February 1977.","journal-title":"ACM SIGPLAN Notices"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"R.C. Holt, P.A. Matthews, J.A. Rosselet, and J.R.Cordy. The Turing Programming Language. Prentice Hall, 1988.","DOI":"10.1145\/53580.53581"},{"key":"15_CR20","unstructured":"C.A.R. Hoare. Hints on Programming Language Design, 1973. key note address at the ACM SIGACT\/SIGPLAN Conference on Principles of Programming Languages; (reprinted in [Hoa89])."},{"key":"15_CR21","unstructured":"C.A.R. Hoare. Essays in Computing Science. International Series in Computer Science. Prentice Hall, 1989."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"J.J. Horning. A Case Study in Language Design: Euclid. In G. Goos and J. Hartmanis, editors, Program Construction, volume 69 of Lecture Notes in Computer Science. Springer, 1979.","DOI":"10.1007\/BFb0014665"},{"issue":"9","key":"15_CR23","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/947955.947956","volume":"17","author":"M.O. Jokinen","year":"1982","unstructured":"M.O. Jokinen. The Effect of Parameter Passing and Other Implementation Dependent Mechanisms is Undecidable. ACM SIGPLAN Notices, 17(9): 16\u201317, September 1982.","journal-title":"ACM SIGPLAN Notices"},{"issue":"5","key":"15_CR24","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1063\/1.2916244","volume":"37","author":"D.J. Kuck","year":"1984","unstructured":"D.J. Kuck, J.R. McGraw, and M.J. Wolfe. A debate: Retire FORTRAN? Physics Today, 37(5):66\u201375, May 1984.","journal-title":"Physics Today"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"C.H. Koelbel. The High Performance Fortran Handbook. MIT Press, 1994.","DOI":"10.7551\/mitpress\/3499.001.0001"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"M. Marcotty and H. Ledgard. The World of Programming Languages. Springer, 1987.","DOI":"10.1007\/978-1-4612-4692-3"},{"key":"15_CR27","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0167-8191(94)00082-L","volume":"21","author":"M.Y. Mohd-Saman","year":"1995","unstructured":"M.Y. Mohd-Saman and D.J. Evans. Inter-Procedural Analysis for Parallel Computing. Parallel Computing, 21:315\u2013338, 1995.","journal-title":"Parallel Computing"},{"issue":"11","key":"15_CR28","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1002\/spe.4380231103","volume":"23","author":"H.G. Mayer","year":"1993","unstructured":"H.G. Mayer and M. Wolfe. Interprocedural Alias Analysis: Implementation and Empirical Results. Software Practice and Experience, 23(11): 1202\u20131233, November 1993.","journal-title":"Software Practice and Experience"},{"key":"15_CR29","unstructured":"R. Palimaradevi and R.K. Subramanian. Alias analysis for parallelization. In Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems 1996, volume I, pages 292\u2013295. ISCA, 1996."},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"E. Ruf. Context-Insensitive Alias Analysis Reconsidered. In Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 13\u201322. ACM, 1995.","DOI":"10.1145\/223428.207112"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"S.K. Skedzielewski. Sisal. In B.K. Szymanski, editor, Parallel Functional Languages and Compilers, pages 105\u2013157. Addison-Wesley, 1991.","DOI":"10.1145\/107214.129256"},{"key":"15_CR32","unstructured":"B. Stroustrup. Die C++-Programmiersprache. Addison-Wesley, 2. edition, 1992."},{"issue":"2","key":"15_CR33","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/953353.953355","volume":"8","author":"W. Wulf","year":"1973","unstructured":"W. Wulf and M. Shaw. Global Variables considered harmful. ACM SIGPLAN Notices, 8(2):28\u201334, February 1973. (summarized in [ML87]).","journal-title":"ACM SIGPLAN Notices"},{"issue":"10","key":"15_CR34","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/122616.122626","volume":"26","author":"C.K. Yuen","year":"1991","unstructured":"C.K. Yuen. Which Model of Programming for Lisp: Sequential, Functional or Mixed? ACM SIGPLAN Notices, 26(10):83\u201392, Oktober 1991.","journal-title":"ACM SIGPLAN Notices"},{"key":"15_CR35","unstructured":"H. Zima and B. Chapman. Supercompilers for Parallel and Vector Computers. Addison-Wesley, 1991."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe '97"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63114-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:24:35Z","timestamp":1687289075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63114-3_15"}},"subtitle":["Towards a more abstract view of variables"],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631149","9783540691501"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-63114-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}