Various parallel Fortran languages have been developed over the years. The research work in creating this Parallel Fortran Family has made signiicant contributions to parallel programming language design and implementation. In this paper, various parallel Fortran languages are studied based on a uniform coordination approach towards parallel programming. That is, new language constructs in para...

In high-consequence systems, there is a high cost associated with failure. Thus, there should be strong evidence that the systems will not fail in field. Such evidence cannot be obtained by traditional verification methods such as testing. Transformation-oriented programming (TOP) is a promising formal software development technique. In TOP, a source file that represents a correct formal specif...