An Algorithm for Structuring Flowgraphs
Journal of the ACM (JACM)
Software for roundoff analysis, II
ACM Transactions on Mathematical Software (TOMS)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Portability of Numerical Software: Proceedings
Portability of Numerical Software: Proceedings
A transportable system for management and exchange of programs and other text
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Hi-index | 0.00 |
We propose a collaborative effort to develop a systematized collection of software tools for Fortran programming.