{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:46:55Z","timestamp":1748335615478},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607656"},{"type":"electronic","value":"9783540494461"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014205","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:13:46Z","timestamp":1132733626000},"page":"269-288","source":"Crossref","is-referenced-by-count":13,"title":["FALCON: A MATLAB interactive restructuring compiler"],"prefix":"10.1007","author":[{"given":"L.","family":"De Rose","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Gallivan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Gallopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Marsolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Padua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"18_CR1","unstructured":"Aho, A., Sethi, R., and Ullman, J. Compilers: Principles, Techniques and Tools. Addison-Wesley Publishing Company, 1985."},{"key":"18_CR2","first-page":"253","volume-title":"Languages and Compilers for Parallel Computing","author":"S. P. Amarasinghe","year":"1993","unstructured":"Amarasinghe, S. P., Anderson, J. M., Lam, M. S., and Lim, A. W. An Overview of a Compiler for Scalable Parallel Machines. In Languages and Compilers for Parallel Computing (August 1993), U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, Eds., Springer-Verlag, pp. 253\u2013272. 6th International Workshop, Portland, Oregon."},{"key":"18_CR3","unstructured":"Applied Parallel Research. FORGE 90 Baseline System User's Guide. Placerville, California. Version 8.9."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J. Can Programming Be Liberated from the Von Newmann Style? A Functional Style and Its Algebra of Programs. Communications of the ACM 21, 8 (August 1978), 613\u2013641.","journal-title":"Communications of the ACM"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Barrett, R., Berry, M., Chan, T., Demmel, J., Donato, J., Dongarra, J., Eijkhout, V., Pozo, R., Romine, C., and van der Vorst, H. Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods. SIAM, 1993.","DOI":"10.1137\/1.9781611971538"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Blume, W., and Eigenmann, R. The Range Test: A Dependence Test for Symbolic, Non-linear Expressions. In Proceedings of Supercomputing '94 (November 1994), pp. 528\u2013537.","DOI":"10.1145\/602770.602858"},{"key":"18_CR7","unstructured":"Bodin, F., Beckman, P., Gannon, D., Narayana, S., and Yang, S. Distributed pC++: Basic Ideas for an Object Parallel Language. In OON-SKI'93 Proceedings of the First Annual Object-Oriented Numerics Conference (April 1993), pp. 1\u201324."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Budd, T. An APL Compiler. Springer-Verlag, 1988.","DOI":"10.1007\/978-1-4612-3806-5"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Carr, S., and Kennedy, K. Compiler Blockability of Numerical Algorithms. In Proceedings, Supercomputing '92 (November 1992), pp. 114\u2013124.","DOI":"10.1109\/SUPERC.1992.236704"},{"key":"18_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-7386-9","volume-title":"Maple V Language Reference Manual","author":"B. W. Char","year":"1991","unstructured":"Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B., and Watt, S. M.Maple V Language Reference Manual. Springer-Verlag, New York, 1991."},{"issue":"6","key":"18_CR11","doi-asserted-by":"crossref","first-page":"594","DOI":"10.1147\/rd.306.0594","volume":"30","author":"W.-M. Ching","year":"1986","unstructured":"Ching, W.-M. Program Analysis and Code Generation in an APL\/370 Compiler. IBM Journal of Research and Development 30:6 (November 1986), 594\u2013602.","journal-title":"IBM Journal of Research and Development"},{"key":"18_CR12","unstructured":"Cook Jr., G. O. ALPAL A Tool for the Development of Large-Scale Simulation Codes. Tech. rep., Lawrence Livermore National Laboratory, August 1988. Technical Report UCID-21482."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Halbwachs, N. Automatic Discovery of Linear Restraints Among Variables of a Program. In Proceedings of the 5th Anual ACM Symposium on Principles of Programming Languages (1978), pp. 84\u201397.","DOI":"10.1145\/512760.512770"},{"issue":"4","key":"18_CR14","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B. K., Wegman, M. N., and Zadeck, F. K. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Language and Systems 13, 4 (October 1991), 451\u2013490.","journal-title":"ACM Transactions on Programming Language and Systems"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Dai, D. L., Gupta, S. K. S., Kaushik, S. D., Lu, J. H., Singh, R. V., Huang, C.-H., Sadayappan, P., and Johnson, R. W. EXTENT: A Portable Programming Environment for Designing and Implementing High-Performance Block-Recursive Algorithms. In Proceedings of Supercomputing '94 (November 1994), pp. 49\u201358.","DOI":"10.1145\/602770.602786"},{"key":"18_CR16","unstructured":"DeRose, L., Gallivan, K., Gallopoulos, E., Marsolf, B., and Padua, D. An Environment for the Rapid Prototyping and Development of Numerical Programs and Libraries for Scientific Computation. In Proc. of the DAGS'94 Symposium: Parallel Computation and Problem Solving Environments (Dartmouth College, July 1994), F. Makedon, Ed., pp. 11\u201325."},{"key":"18_CR17","unstructured":"Gallivan, K., and Marsolf, B. Practical Issues Related to Developing Object-Oriented Numerical Libraries. In OON-SKI'94 Proceedings of the Second Annual Object-Oriented Numerics Conference (April 1994), pp. 93\u2013106."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Gerlek, M. P., Stoltz, E., and Wolfe, M. Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form. ACM TOPLAS (to appear).","DOI":"10.1145\/200994.201003"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"High Performance Fortran Forum. High Performance Fortran Language Specification, May 1993. Version 1.0.","DOI":"10.1145\/174223.158909"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Houstis, E. N., Rice, J. R., Chrisochoides, N. P., Karathanasis, H. C., Papachiou, P. N., Samartizs, M. K., Vavalis, E. A., Wang, K. Y., and Weerawarana, S. \/\/ELLPACK: A Numerical Simulation Programming Environment for Parallel MIMD Machines. In Proceedings 1990 International Conference on Supercomputing (1990), pp. 96\u2013107.","DOI":"10.1145\/77726.255144"},{"key":"18_CR21","unstructured":"Kuck and Associates, Inc.KAP User's Guide, 4th ed. Savoy, IL 61874, 1987."},{"key":"18_CR22","unstructured":"The Math Works, Inc.MATLAB, High-Performance Numeric Computation and Visualization Software. User's Guide, 1992."},{"key":"18_CR23","unstructured":"Mathews, J. H. Numerical Methods for Mathematics, Science and Engineering, 2nd ed. Prentice Hall, 1992."},{"issue":"1","key":"18_CR24","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/361932.361938","volume":"16","author":"Y. Muraoka","year":"1973","unstructured":"Muraoka, Y., and Kuck, D. J. On the Time Required for a Sequence of Matrix Products. Communications of the ACM 16, 1 (January 1973), 22\u201326.","journal-title":"Communications of the ACM"},{"key":"18_CR25","unstructured":"Padua, D., Eigenmann, R., Hoeflinger, J., Petersen, P., Tu, P., Weatherford, S., and Faigin, K. Polaris: A New-Generation Parallelizing Compiler for MPP's. Tech. rep., Univ. of Illinois at Urbana-Champaign, Center for Supercomputing Research and Development, June 1993. CSRD Report No. 1306."},{"issue":"12","key":"18_CR26","doi-asserted-by":"publisher","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D. Padua","year":"1986","unstructured":"Padua, D., and Wolfe, M. Advanced Compiler Optimizations for Supercomputers. Communications of the ACM 29, 12 (December 1986), 1184\u20131201.","journal-title":"Communications of the ACM"},{"key":"18_CR27","first-page":"39","volume":"II","author":"C. Polychronopoulos","year":"1989","unstructured":"Polychronopoulos, C., Girkar, M., Haghighat, M. R., Lee, C.-L., Leung, B., and Schouten, D. Parafrase-2: A New Generation Parallelizing Compiler. In Proceedings of 1989 Int'l. Conference on Parallel Processing, St. Charles, IL (August 1989), vol. II, pp. 39\u201348.","journal-title":"Proceedings of 1989 Int'l. Conference on Parallel Processing, St. Charles, IL"},{"key":"18_CR28","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1145\/361227.361235","volume":"18","author":"J. T. Schwartz","year":"1975","unstructured":"Schwartz, J. T. Automatic Data Structure Choice in a Language of a Very High Level. Communications of the ACM 18 (1975), 722\u2013728.","journal-title":"Communications of the ACM"},{"key":"18_CR29","first-page":"500","volume-title":"Languages and Compilers for Parallel Computing","author":"P. Tu","year":"1993","unstructured":"Tu, P., and Padua, D. Automatic Array Privatization. In Languages and Compilers for Parallel Computing (August 1993), U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, Eds., Springer-Verlag, pp. 500\u2013521. 6th International Workshop, Portland, Oregon."}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:39:28Z","timestamp":1586579968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607656","9783540494461"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0014205","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}