Ada compiler validation
| dc.contributor.author | Plödereder, Erhard | de |
| dc.date.accessioned | 2010-10-19 | de |
| dc.date.accessioned | 2016-03-31T11:42:53Z | |
| dc.date.available | 2010-10-19 | de |
| dc.date.available | 2016-03-31T11:42:53Z | |
| dc.date.issued | 1986 | de |
| dc.date.updated | 2011-09-30 | de |
| dc.description.abstract | 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. | en |
| dc.identifier.other | 350989974 | de |
| dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-56757 | de |
| dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/7390 | |
| dc.identifier.uri | http://dx.doi.org/10.18419/opus-7373 | |
| dc.language.iso | en | de |
| dc.rights | info:eu-repo/semantics/openAccess | de |
| dc.subject.classification | Compiler , ADA | de |
| dc.subject.ddc | 620 | de |
| dc.title | Ada compiler validation | en |
| dc.type | conferenceObject | de |
| ubs.fakultaet | Fakultätsübergreifend / Sonstige Einrichtung | de |
| ubs.institut | Sonstige Einrichtung | de |
| ubs.opusid | 5675 | de |
| ubs.publikation.source | 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 | de |
| ubs.publikation.typ | Konferenzbeitrag | de |