Forcheck by Leiden University

7.18 - What's this?

Forcheck is a development tool for Fortran programs. It analyses program units as well as the integral program and verifies if your program complies to the Fortran 77, 90, or 95 standard.

English

Supported Technologies

OS/2 Warp, AIX, DEC OpenVMS, DEC UNIX, Silicon Graphics IRIX, HP/UX, Solaris/Sun OS, Linux, Windows 95/98/ME, Windows XP/2000/NT
(Other)
Software
Click on a technology to view similar products within this category.

Pricing

System
450
info@forcheck.nl
+31 71 5276804



Additional software product description, benefits, features, and uses.

Additional Product Information

FORCHECK is a Fortran program development and maintenance aid. It verifies the syntax, optionally for strict conformance to the Fortran 77, Fortran 90 or Fortran 95, standard, and warns against possible unintentional misusage of the language (e.g. a variable being not assigned or unreferenced). FORCHECK flags undefined variables, loss of precision, implicit type conversions and extension of a, common block. Type and usage of all syntactic items are verified and listed., In addition to the subprogram-analysis, FORCHECK performs an static analysis over the program as a whole, across subprogram boundaries. It verifies the references of subprograms and their argument lists and the consistency of common blocks and usage of include files., FORCHECK is suited to maintain small and large large software packages. The global data of analyzed subprograms, or subprogram interfaces, can be stored in library files which can be referenced during subsequent analysis. To aid cross-development of Fortran programs, FORCHECK can emulate the compilers of , many systems., Features:, FORCHECK verifies the syntax of a Fortran source program, both on subprogram and, program level. It optionally validates for conformance to the ANSI and ISO , standards., FORCHECK composes compact documentation: Subprogram cross-references, a , reference structure of all subprograms, a subprogram index, cross-reference , tables of subprograms, common blocks, common-block objects, external i/o and , include files., All global subprogram information can be stored in library files. New or changed, subprograms can be verified using FORCHECK within the context of the total , program, without the need to re-analyze the entire program. The information of , new, or changed, modules can be added to, or changed in, a library., FORCHECK supports most language extensions of many compilers. By enabling the language extensions of a , specific compiler FORCHECK can be used as a conversion aid., FORCHECK can be tuned and extended by the user to accept compiler directives, , intrinsic functions and keywords for the Open, Close and Inquire statements.


Search within this category