Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-7373
Autor(en): | Plödereder, Erhard |
Titel: | Ada compiler validation |
Erscheinungsdatum: | 1986 |
Dokumentart: | Konferenzbeitrag |
Erschienen in: | Application of ADA higher order language to guidance and control : the material in this publ. was assembled … presented on 20-21 May 1986 in Ottawa, Canada, 2-3 June 1986 in London. Neuilly sur Seine, France : AGARD, 1986 (AGARD lecture series 146). - ISBN 92-835-1527-7, S. 7.1-7.10 |
URI: | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-56757 http://elib.uni-stuttgart.de/handle/11682/7390 http://dx.doi.org/10.18419/opus-7373 |
Zusammenfassung: | This paper discusses Ada Compiler Validation from the viewpoint of both the compiler supplier and the compiler user. The objectives of the requirement for validation and the resulting benefits, as well as the limitations of validation are presented. The process of Ada compiler validation is detailed along with the various problems as well as issues relating to validation and the use of validated compilers. Solutions to these problems and issues are explained, as they are proposed in a recent AJPO draft of a revised validation policy. |
Enthalten in den Sammlungen: | 15 Fakultätsübergreifend / Sonstige Einrichtung |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
ploe2.pdf | 1,88 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.