Among the various software tools developed in the early stages of the York AdaÔ compiler project 4 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. Introduction The prototype York Ada compiler was developed in a UNIXÔ environment, 1, 3 where the use of standard software tools is normative. UNIX also makes it easy to introduce new tools on a par with standard ones, and this paper is conc...
The compiler construction toolkit under development in the University of Botswana (UB is intended to...
In this paper, we propose a two-fold generic tool for compiler construction. First, it facilitates t...
Conceptual simplicity, tight coupling of tools, and effective support of host-target software develo...
The Ada Compiler Validation Capability (ACVC) is a large collection of programs used to verify that...
Although standard tools have been used for lexical and syntactic analysis since the late 1970's, no\...
A primary benefit of most software tools is either the prevention or the detection of human error in...
The increasing cost of developing complex software systems has created a need for tools which aid so...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
© 1983 ACM. A primary benefit of most software tools is either the prevention or the detection of hu...
technical reportThe vision of a system design environment in which both hardware and software compon...
Abstract: Many tools have been constructed using different formal methods to process various parts o...
Includes bibliographical references (page 57)A package of computer programs for automatically\ud gen...
The MERCURY system generates multi-user language-based environments from attribute grammars. The AG ...
The task of a compiler is to syntactically and semantically analyze the source input and translate t...
Many tools have been constructed using di#erent formal methods to process various parts of a languag...
The compiler construction toolkit under development in the University of Botswana (UB is intended to...
In this paper, we propose a two-fold generic tool for compiler construction. First, it facilitates t...
Conceptual simplicity, tight coupling of tools, and effective support of host-target software develo...
The Ada Compiler Validation Capability (ACVC) is a large collection of programs used to verify that...
Although standard tools have been used for lexical and syntactic analysis since the late 1970's, no\...
A primary benefit of most software tools is either the prevention or the detection of human error in...
The increasing cost of developing complex software systems has created a need for tools which aid so...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
© 1983 ACM. A primary benefit of most software tools is either the prevention or the detection of hu...
technical reportThe vision of a system design environment in which both hardware and software compon...
Abstract: Many tools have been constructed using different formal methods to process various parts o...
Includes bibliographical references (page 57)A package of computer programs for automatically\ud gen...
The MERCURY system generates multi-user language-based environments from attribute grammars. The AG ...
The task of a compiler is to syntactically and semantically analyze the source input and translate t...
Many tools have been constructed using di#erent formal methods to process various parts of a languag...
The compiler construction toolkit under development in the University of Botswana (UB is intended to...
In this paper, we propose a two-fold generic tool for compiler construction. First, it facilitates t...
Conceptual simplicity, tight coupling of tools, and effective support of host-target software develo...