An attribute grammar for Ada

@inproceedings{Drossopoulou1982AnAG,
  title={An attribute grammar for Ada},
  author={Sophia Drossopoulou and James S. Uhl and Guido Persch and Gerhard Goos and Manfred Dausmann and Georg Winterstein},
  booktitle={SIGPLAN '82},
  year={1982}
}
We describe the development of a formal specification of the static semantics of Ada in form of an attribute grammar. This specification is complete, and was tested extensively with automatically generated equivalent Pascal programs. From this specification we systematically developed the semantic analysis part of our Ada Compiler Front End. We outline the general proceeding when specifying semantic analysis with attribute grammars and then discuss to some extent examples about declaration… 
Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille?
In der vergangenen Dekade hat Modell-basierte Entwicklung in der Softwaretechnik zunehmende Bedeutung gewonnen, vgl. z.B. [TS07, SRC12, JLM12]. Aus Modellen, die in einer formalen Sprache definiert
Die 70er Jahre
Die Informatik heutiger Pragung hat ihre Wurzeln in den 30er/40er Jahren des vorigen Jahrhunderts in den Arbeiten Godels, Churchs, Zuses, Turings, Von Neumanns und anderen [8, 9, 10, 18, 32, 33, 39].
TransformGen: automating the maintenance of structure-oriented environments
TLDR
Focusing on the special case of managing abstract syntax trees in structure-oriented environments, it is shown how automatic transformers can be generated in terms of an implementor's changes to the grammar of these environments.
An OPTRAN-generated Front-End for Ada
TLDR
A compiler front-end is presented that translates Ada programs into DIANA trees — a standard intermediate form for Ada to avoid the difficulties that arise from the ambiguous Ada syntax.
A VHDL compiler based on attribute grammar methodology
This paper presents aspects of a compiler for a new hardware description language (VHDL) written using attribute grammar techniques. VHDL is introduced, along with the new compiler challenges brought
Ada translation tools development: mappings from FORTRAN to Ada
  • M. Parsian
  • Computer Science
    [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments
  • 1988
The problem addressed is how existent syntactically and semantically correct Fortran programs can be translated into Ada programs (library units). A system that use one possible form of translation
Ada translation tools development: automatic translation of FORTRAN to Ada
TLDR
The algorithm for translator system can be applied to generate translators from any source high level language into target language (Ada source code) and it is shown how existent syntactically and semantically correct FORTRAN programs can be translated into Ada programs.
THE SOFTECH ADA* VERIFICATION PROJECT
TLDR
This project has developed a formal description of the Ada language's semantics; specified requirements for a system to verify Ada software; formulated the high-level design of a verification system meeting those requirements; and supported the activities of an ongoing Ada Verification Workshop.
Tree transformation techniques and experiences
TLDR
The experience demonstrates the readability, ease of development, and additional verification available through the use of TT-grammars, a formal description technique for describing transformations from one well-defined language to another.
...
...