NEN - NPR-ISO/IEC TR 24718
Information technology - Programming languages - Guide for the use of the Ada Ravenscar Profile in high integrity systems
active, Most Current
| Organization: | NEN |
| Publication Date: | 1 March 2005 |
| Status: | active |
| Page Count: | 88 |
| ICS Code (Languages used in information technology): | 35.060 |
scope:
This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.
Document History
NPR-ISO/IEC TR 24718
March 1, 2005
Information technology - Programming languages - Guide for the use of the Ada Ravenscar Profile in high integrity systems
This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.