schonber@acf2.UUCP (01/23/87)
Ada/Ed and its successive incarnations (Ada/Ed-C for various machines including the IBM-PC) are copyrighted by New York University, and are not in the public doamin. In previous years NYU has distributed at cost a printed version of the sources of Ada/Ed, written in SETL, whose purpose is to serve as an executable definition of Ada. A new version of these sources will be released in late spring 1987. It should be of interest to implementors, users interested in obscure semantic ramifications of the language. and language lawyers. It is being developed under a grant from AJPO, to study alternative rigorous definitions of the language. These sources have served as a prototype to the current Ada/Ed-C system, (which is fully written in C) and bear a close relationship to it, as a specification and its implementation typically do.