{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:40:28Z","timestamp":1737348028411,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421238"},{"type":"electronic","value":"9783540451365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45136-6_6","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T19:53:02Z","timestamp":1186170782000},"page":"88-99","source":"Crossref","is-referenced-by-count":0,"title":["Parameter-Induced Aliasing in Ada"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Gellerich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erhard","family":"Pl\u00f6dereder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"issue":"2","key":"6_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, Feb 1982.","journal-title":"IEEE Computer"},{"unstructured":"The Programming Language Ada Reference Manual. LNCS vol. 155. Springer, 1983.","key":"6_CR2"},{"unstructured":"Ada and C++: A Business Case Analysis. U.S. Air Force, Jul 1991.","key":"6_CR3"},{"doi-asserted-by":"crossref","unstructured":"R. Allan and S. Johnson. Compiling C for Vectorization, Parallelization and Inline Expansion. In Proceedings of the SIGPLAN\u2019 88 Conference on Programming Language Design and Implementation. ACM, 1988.","key":"6_CR4","DOI":"10.1145\/53990.54014"},{"unstructured":"A.V. Aho, R. Sethi, and J.D. Ullman. Compilers. Addison-Wesley, 1986.","key":"6_CR5"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","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. ACM Ada Letters, XIII(3):91\u201395, May 1993.","journal-title":"ACM Ada Letters"},{"unstructured":"G. Booch. Software Engineering with Ada. Benjamin\/Cummings, 1987.","key":"6_CR7"},{"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.","key":"6_CR8","DOI":"10.1145\/318593.318658"},{"issue":"8","key":"6_CR9","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1002\/spe.4380140805","volume":"14","author":"J.R. Cordy","year":"1984","unstructured":"J.R. Cordy. Compile-Time Detection of Aliasing in Euclid Programs. Software\u2013Practice and Experience, 14(8):744\u2013768, Aug 1984.","journal-title":"Software\u2013Practice and Experience"},{"doi-asserted-by":"crossref","unstructured":"D.K. Chen, J. Torellas, and P.C. Yew. An Efficient Algorithm for the Run-time Parallelization of DOACROSS Loops. In Proceedings of Supercomputing\u201994, pages 518\u2013527. ACM and IEEE, 1994.","key":"6_CR10","DOI":"10.1145\/602770.602857"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/248448.248456","volume":"40","author":"M. Eisenstadt","year":"1997","unstructured":"M. Eisenstadt. My Hairiest Bug War Stories. Comm. ACM, 40(4):30\u201337, Apr 1997.","journal-title":"Comm. ACM"},{"unstructured":"W. Gellerich. Ein datengesteuertes Ausf\u00fchrungsmodell f\u00fcr Programmier-sprachen mit mehrfacher Wertzuweisung (A data-driven execution model for programming languages with multiple assignment). PhD thesis, Universit\u00e4t Stuttgart, (available from Shaker Verlag, Postfach 1290, 52013 Aachen, Germany, http:\/\/www.shaker.de ), 2000. ISBN 3-8265-7900-3 URL.","key":"6_CR12"},{"issue":"12","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.1002\/(SICI)1097-024X(199612)26:12<1385::AID-SPE68>3.0.CO;2-8","volume":"26","author":"J.P. Goodwin","year":"1996","unstructured":"J.P. Goodwin and E.F. Gehringer. Optimizing Procedure Calls in Block-structured Languages. Software Practice and Experience, 26(12):1385\u20131414, 1996.","journal-title":"Software Practice and Experience"},{"unstructured":"C. Ghezzi and M. Jazayeri. Programming Language Concepts. John Wiley and Sons, 1987.","key":"6_CR14"},{"unstructured":"Gnu ada translator (gnat) documentation, 1995. http:\/\/cs.nyu.edu:\/pub\/gnat .","key":"6_CR15"},{"key":"6_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-63114-3_15","volume-title":"Reliable Software Technologies\u2013Ada-Europe 1997","author":"W. Gellerich","year":"1997","unstructured":"W. Gellerich and E. Pl\u00f6dereder. Parameter-induced aliasing and related problems can be avoided. In Reliable Software Technologies\u2013Ada-Europe 1997, volume 1251 of LNCS, pages 161\u2013172. Springer, 1997."},{"doi-asserted-by":"crossref","unstructured":"K. Hines. Ada Impacts On A Second Generation Project. In Proceedings TRI-Ada\u2019 90, pages 488\u2013492, Dec 1990.","key":"6_CR17","DOI":"10.1145\/255471.255585"},{"unstructured":"C.A.R. Hoare. Hints on Programming Language Design (reprint). In Essays in Computing Science. Prentice Hall, 1989.","key":"6_CR18"},{"key":"6_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Program Construction","author":"J.J. Horning","year":"1979","unstructured":"J.J. Horning. A Case Study in Language Design: Euclid. In G. Goos and J. Hartmanis, editors, Program Construction, LNCS vol. 69. Springer, 1979."},{"unstructured":"S. Horwitz and M. Shapiro. The effects of the precision of pointer analysis. In Static Analysis 4th International Symposium. Springer, 1997.","key":"6_CR20"},{"issue":"9","key":"6_CR21","doi-asserted-by":"publisher","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, Sep 1982.","journal-title":"ACM SIGPLAN Notices"},{"doi-asserted-by":"crossref","unstructured":"R. Lebib. The Impact of Ada on MIS applications. In Proceedings of the 12th Ada-Europe International Conference, pages 54\u201363, Paris, Jun 1993.","key":"6_CR22","DOI":"10.1007\/3-540-56802-6_5"},{"doi-asserted-by":"crossref","unstructured":"J. Loeliger, R. Metzger, M. Seligman, and S. Stroud. Pointer target tracking. In Proceedings of Supercomputing\u2019 91, pages 14\u201323, 1991.","key":"6_CR23","DOI":"10.1145\/125826.125856"},{"issue":"8","key":"6_CR24","first-page":"30","volume":"40","author":"J.W. McCormick","year":"1997","unstructured":"J.W. McCormick. Don\u2019t Forget Ada. Comm. ACM, 40(8):30, Aug 1997.","journal-title":"Comm. ACM"},{"unstructured":"R. Morgan. Building an Optimizing Compiler. Butterworth-Heinemann, 1998.","key":"6_CR25"},{"unstructured":"S.S. Muchnik. Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997.","key":"6_CR26"},{"issue":"11","key":"6_CR27","doi-asserted-by":"publisher","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, Nov 1993.","journal-title":"Software Practice and Experience"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1002\/spe.4380220103","volume":"22","author":"K.J. Ottenstein","year":"1992","unstructured":"K.J. Ottenstein and S.J. Ellcey. Experience Compiling Fortran to Program Dependence Graphs. Software Practice and Experience, 22:41\u201362, Jan 1992.","journal-title":"Software Practice and Experience"},{"unstructured":"http:\/\/www.informatik.uni-stuttgart.de\/ifi\/ps\/ada-software\/ada-software.html , ftp:\/\/ftp.informatik.uni-stuttgart.de , ftp:\/\/ftp.uni-stuttgart.de .","key":"6_CR29"},{"unstructured":"D.J. Reifer. Quantifying the Debate: Ada vs. C++, 1996. http:\/\/www.stsc.hill.af.mil\/crosstalk\/1996\/jul\/quantify.html .","key":"6_CR30"},{"doi-asserted-by":"crossref","unstructured":"L. Smith. Vectorizing C compilers: How good are they? In Proceedings of Supercomputing\u2019 91, pages 544\u2013553, 1991.","key":"6_CR31","DOI":"10.1145\/125826.126105"},{"unstructured":"J. Stare. Ada for DSP. Technical report, Tartan, Inc., 1994. http:\/\/www.adahome.com\/Ammo\/Stories\/Tartan-Realtime.html .","key":"6_CR32"},{"issue":"6","key":"6_CR33","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/216578.216583","volume":"15","author":"D. Syiek","year":"1995","unstructured":"D. Syiek. C vs Ada: Arguing Performance Religion. Ada Letters, 15(6):67\u201369, Nov\/Dec 1995.","journal-title":"Ada Letters"},{"issue":"1","key":"6_CR34","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/122037.122041","volume":"11","author":"K. Tanaka","year":"1991","unstructured":"K. Tanaka. Using Ada at NTT. Ada Letters, 11(1):92\u201395, Jan\/Feb 1991.","journal-title":"Ada Letters"},{"unstructured":"S.T. Taft and R.A. Duff. Ada 95 Reference Manual. Springer, 1998.","key":"6_CR35"},{"doi-asserted-by":"crossref","unstructured":"D.W. Wall. Limits of instruction-level parallelism. In Proc. ASPLOS-IV, Santa Clara, CA, pages 176\u2013188. ACM, 1991.","key":"6_CR36","DOI":"10.1145\/106972.106991"},{"unstructured":"M.J. Wolfe. High-Performance Compilers for Parallel Computing. Addison-Wesley, 1995.","key":"6_CR37"},{"unstructured":"H. Zima and B. Chapman. Supercompilers for Parallel and Vector Computers. Addison-Wesley, 1992.","key":"6_CR38"},{"unstructured":"S.F. Zeigler. Comparing Development Costs of C and Ada, Mar 1995. http:\/\/www.rational.com\/sitewide\/support\/whitepapers\/ .","key":"6_CR39"}],"container-title":["Lecture Notes in Computer Science","Reliable SoftwareTechnologies \u2014 Ada-Europe 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45136-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T03:45:15Z","timestamp":1737344715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45136-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421238","9783540451365"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-45136-6_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}