Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site ariel.UUCP Path: utzoo!linus!vaxine!wjh12!genrad!decvax!harpo!floyd!vax135!ariel!jlw From: jlw@ariel.UUCP (J.WOOD) Newsgroups: net.lang Subject: Re: lint like syntax checkers for FORTRAN Message-ID: <653@ariel.UUCP> Date: Sat, 2-Jun-84 09:17:30 EDT Article-I.D.: ariel.653 Posted: Sat Jun 2 09:17:30 1984 Date-Received: Wed, 6-Jun-84 02:40:07 EDT References: <294@ames-lm.UUCP> Organization: AT&T-ISL, Holmdel, NJ Lines: 14 Barbara Ryder, formerly (I think) of Bell Labs, had a system called the PFORT verifier which she worked on in the mid-70s. Try your source for the BTL Computing Science Technical Reports for a reference. I have none available. Joseph L. Wood, III AT&T Information Systems Laboratories, Holmdel (201) 834-3759 ariel!jlw