共 50 条
- [44] CEDAR FORTRAN AND OTHER VECTOR AND PARALLEL FORTRAN DIALECTS [J]. JOURNAL OF SUPERCOMPUTING, 1990, 4 (01): : 37 - 62
- [45] THE SHARING OF ENVIRONMENT IN AND-PARALLEL AND OR-PARALLEL EXECUTIONS OF LOGIC PROGRAMS [J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1990, 33 (04): : 467 - 476
- [47] A performance adviser for the development of parallel programs [J]. INTERNATIONAL JOURNAL OF HIGH SPEED COMPUTING, 1996, 8 (03): : 205 - 227
- [48] Verifying Fortran Programs with CIVL [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 106 - 124
- [49] FORTRAN PROGRAMS FOR REPLOTTING CHROMATOGRAMS [J]. AMERICAN LABORATORY, 1984, 16 (09) : 118 - &
- [50] Quantity Correctness in Fortran Programs [J]. COMPUTING IN SCIENCE & ENGINEERING, 2017, 19 (04) : 83 - 87