The pfort verifier

Barbara G. Ryder

DOI: 10.1002/spe.4380040405

Software Practice and Experience

Data up to Jan 2025

Published1974

Citations182

References2

Fields

Computer science Chemistry Programming language Biochemistry Artificial intelligence

Total Citations Per Year

Abstract

References (2)

Clarification of Fortran standards—initial progress

1969 • 14 citations

Clarification of Fortran standards—second report

1971 • 14 citations

Cited By (0)

Loading...

The pfort verifier (1974) – Software Practice and Experience | Metascience Observatory Explorer