Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site ecsvax.UUCP
Path: utzoo!watmath!clyde!bonnie!akgua!whuxlm!harpo!decvax!mcnc!ecsvax!dgary
From: dgary@ecsvax.UUCP (D Gary Grady)
Newsgroups: net.wanted,net.lang.f77
Subject: Re: want flint (?)
Message-ID: <709@ecsvax.UUCP>
Date: Thu, 14-Feb-85 11:19:49 EST
Article-I.D.: ecsvax.709
Posted: Thu Feb 14 11:19:49 1985
Date-Received: Sun, 17-Feb-85 06:09:47 EST
References: <151@gangue.uucp>, <6957@watdaisy.UUCP>
Organization: Duke U Comp Ctr
Lines: 19
Xref: watmath net.wanted:5807 net.lang.f77:239

<>
The PFORT ("portable FORTRAN") verifier accepted a very restrictive
subject of FORTRAN (END= not allowed, Hollerith constants required
instead of quoted strings, etc.) and did a good job of checking type
compatibility in subroutine calls and COMMONs.

The most impressive thing about PFORT was the fact that it was written
in PFORT verified FORTRAN (!!!!!).  Assembler routines were used to
detect end of file, since that was not a standard FORTRAN feature in the
66 language.

I would really like to hear of a similar portable verifier for portable
FORTRAN 77.  In fact, that would be a nice thing to have for a lot of
languages.
-- 
D Gary Grady
Duke U Comp Center, Durham, NC  27706
(919) 684-3695
USENET:  {seismo,decvax,ihnp4,akgua,etc.}!mcnc!ecsvax!dgary