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.