{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:31Z","timestamp":1725486031688},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009047"},{"type":"electronic","value":"9783540365792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36579-6_16","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T14:15:58Z","timestamp":1181225758000},"page":"217-231","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Detection of Uninitialized Variables"],"prefix":"10.1007","author":[{"given":"Thi Viet Nga","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Irigoin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corinne","family":"Ancourt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabien","family":"Coelho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: ACM Symposium on Principles of Programming Languages, (1996) 32\u201341","DOI":"10.1145\/237721.237727"},{"key":"16_CR2","unstructured":"Nguyen, T.V.N.: Efficient and Effiective Software Verifications for Scientific Applications using Static Analyses and Code Instrumentation. PhD thesis, Ecole des Mines de Paris (2002)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Loginov, A., Yong, S.H., Horwitz, S., and Reps, T.W.: Debugging via run-time type checking. In Fundamental Approaches to Software Engineering (2001) 217\u2013232","DOI":"10.1007\/3-540-45314-8_16"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/375738.375746","volume":"20","author":"J. Appleyard","year":"2001","unstructured":"Appleyard, J.: Comparing Fortran compilers. ACM SIGPLAN-Fortran Forum 20 (2001) 6\u201310","journal-title":"ACM SIGPLAN-Fortran Forum"},{"key":"16_CR5","unstructured":"Hasting, R., Joyce, B.: Purify: fast detection of memory leaks and access errors. In: Winter USENIX Conference (1992) 125\u2013136"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Evans, D., Guttag, J., Horning, J., Tan, Y.M.: LCLint: A tool for using specifications to check code. In: ACM SIGSOFT Symposium on Foundations of Software Engineering (1994) 87\u201396","DOI":"10.1145\/193173.195297"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: ACM Symposium on Principles of Programming Languages (1995) 49\u201361","DOI":"10.1145\/199448.199462"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"Feautrier, P.: Dataflow analysis of array and scalar references. International Journal of Parallel Programming 20 (1991) 23\u201353","journal-title":"International Journal of Parallel Programming"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Irigoin, F., Jouvelot, P., Triolet, R.: Semantical interprocedural parallelization: an overview of the PIPS project. In: International Conference on Supercomputing (1991) 144\u2013151","DOI":"10.1145\/109025.109086"},{"key":"16_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/BFb0014191","volume-title":"International Workshop on Languages and Compilers for Parallel Computing","author":"B. Creusillet","year":"1995","unstructured":"Creusillet, B., Irigoin, F.: Interprocedural array region analyses. In: International Workshop on Languages and Compilers for Parallel Computing. Volume 1033 of Lecture Notes in Computer Science, Springer-Verlag (1995) 46\u201360"},{"key":"16_CR11","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley & Sons, Chichester (1986)."},{"key":"16_CR12","unstructured":"Creusillet, B.: IN and OUT array region analyses. In: Workshop on Compilers for Parallel Computers. (1995) 233\u2013246"},{"key":"16_CR13","unstructured":"ANSI: Programming Language FORTRAN, ANSI X3.9-1978, ISO 1539-1980. American National Standard Institute, New York (1983)."},{"key":"16_CR14","unstructured":"Duesterwald, E., Gupta, R., Soffa, M.L.: A practical data flow framework for array reference analysis and its application in optimization. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (1993) 68\u201377"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Hall, M.W., Amarasinghe, S.P., Murphy, B.R., Liao, S.W., Lam, M.S.: Detecting coarse-grain parallelism using an interprocedural parallelizing compiler. Super-Computing(1995)","DOI":"10.1145\/224170.224337"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Gu, J., Li, Z., Lee, G.: Symbolic array dataflow analysis for array privatization and program parallelization. In: Supercomputing (1995)","DOI":"10.1145\/224170.224318"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Tu, P., Padua, D.A.: Gated SSA-based demand-driven symbolic analysis for parallelizing compilers. In: International Conference on Supercomputing (1995)414\u2013423","DOI":"10.1145\/224538.224648"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Duesterwald, E., Gupta, R., Soffa, M.L.: Demand-driven computation of interprocedural data flow. In: ACM Symposium on Principles of Programming Languages (1995) 37\u201348","DOI":"10.1145\/199448.199461"},{"key":"16_CR19","unstructured":"Leservot, A.: Analyses interproc\u00e9durales du flot des donn\u00e9es. PhD thesis, Universit\u00e9 Paris VI (1996)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Triolet, R., Feautrier, P., Irigoin, F.: Automatic parallelization of Fortran programs in the presence of procedure calls. In: European Symposium on Programming (1986)","DOI":"10.1007\/3-540-16442-1_16"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Ancourt, C., Irigoin, F.: Scanning polyhedra with DO loops. In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (1991) 39\u201350","DOI":"10.1145\/109625.109631"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/306225.306228","volume":"26","author":"J.J. Dujmovic","year":"1998","unstructured":"Dujmovic, J.J., Dujmovic, I.: Evolution and evaluation of SPEC benchmarks. ACM SIGMETRICS 26 (1998) 2\u20139","journal-title":"ACM SIGMETRICS"},{"key":"16_CR23","unstructured":"Bourdoncle, F.: S\u00e9mantiques des langages imp\u00e9ratifs d\u2019ordre sup\u00e9rieur et interpr \u00e9tation abstraite. PhD thesis, Ecole Polytechnique, France (1992)"},{"key":"16_CR24","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1155\/1997\/312872","volume":"6","author":"M. Manjunathaiah","year":"1997","unstructured":"Manjunathaiah, M., Nicole, D.A.: Precise analysis of array usage in scientific programs. Scientific Programming 6 (1997) 229\u2013242","journal-title":"Scientific Programming"},{"key":"16_CR25","unstructured":"Ami, T.L., Reps, T., Sagiv, L., Wilhelm, R.: Putting static analysis to work for verification: A case study. In: International Symposium on Software Testing and Analysis, (2000) 26\u201338"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Arnold, M., Ryder, B.G.: A framework for reducing the cost of instrumented code. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (2001) 168\u2013179","DOI":"10.1145\/378795.378832"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36579-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T02:04:49Z","timestamp":1550369089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36579-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009047","9783540365792"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-36579-6_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}