FPIG — Fortran to Python Interface Generator — is a tool for generating Python C/API extension modules that interface Fortran 77/90/95 codes with Python. This tool automates the process of interface generation by scanning the Fortran source code to determine the signatures of Fortran routines and creating a Python C/API module that contains the corresponding interface functions. FPIG also attem...

We describe algorithm MINRES-QLP and its FORTRAN 90 implementation for solving symmetric or Hermitian linear systems or least-squares problems. If the system is singular, MINRES-QLP computes the minimum-length solution. In all cases, it circumvents a potential instability in the original MINRES algorithm. A positive-definite preconditioner may be supplied. Our FORTRAN 90 implementation illustra...

A new application programming interface for evaluating functions and specifying optimization problems at runtime has been developed. The new interface, named FEFAR, uses a simple language named LEFAR. Compared with other modeling languages such as AMPL or OSil, LEFAR is Fortranlike hence easy to learn and use, in particular for Fortran programmers. FEFAR itself is a Fortran subroutine hence eas...

To eeciently parallelize a scientiic application with a data-parallel compiler requires certain structural properties in the source program, and conversely, the absence of others. A recent parallelization eeort of ours reinforced this observation and motivated this correspondence. Speciically, we have transformed a Fortran 77 version of Gromos, a popular dusty-deck program for molecular dynamic...

The success of large-scale parallel architectures is limited by the diiculty of developing machine-independent parallel programs. We have developed Fortran D, a version of Fortran extended with data decomposition speciications, to provide a portable data-parallel programming model. This paper presents the design of two key components of the Fortran D programming system: a prototype compiler and...

Abstract Fortran is widely used in computational science, engineering, and high performance computing. This paper presents an extension to the CIVL verification framework check correctness properties of programs. Unlike previous work that translates C, LLVM IR, or other intermediate formats before verification, our allows directly consume source files. We extended parsing, translation, analysis...