Some software tools used in the development of the prototype york ada compiler

Among the various software tools developed in the early stages of the York Ada compiler project4 are two families of tools described here. Syntax driven generators, distinctive in their inclusion of a mechanism for syntax abstraction and their mode of adaptability, were used to produce a variety of compiler components; interface checkers, automatically generated from specifications of the information intended to pass between components, were used to help isolate and repair faulty components.

[1]  Gerhard Goos,et al.  An Attribute Grammar for the Semantic Analysis of Ada , 1982, Lecture Notes in Computer Science.

[2]  I. C. Wand,et al.  Facts and figures about the York Ada compiler , 1987, ALET.

[3]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.