N. Williams-Preston. New type signatures for legacy Fortran subroutines. In Workshop on Program Analysis for Software Tools and Engineering, PASTE'99, pages 76--85. ACM Press, September 1999. SIGSOFT Software Engineering Notes 24(5).  Home/Search   Document Details and Download   Summary   Related Articles

.... of component X of variable Y Other work based on type inferencing includes physical type checking of C , which is a stronger form of type checking for type casts involving pointers to structures [4] and the analysis of Fortran programs in order to find new type signatures for subroutines [20]. Type based analysis of COBOL, for the purpose of year 2000 analysis, is presented by [9, 17] both provide a type inference algorithm that splits aggregate structures into smaller units based on assignments between records that cross field boundaries. Our own work on type inferencing started ....

N. Williams-Preston. New type signatures for legacy Fortran subroutines. In Workshop on Program Analysis for Software Tools and Engineering, PASTE'99, pages 76--85. ACM Press, September 1999. SIGSOFT Software Engineering Notes 24(5).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC