CSA - ISO/IEC TR 24718-06
Information technology Programming languages Guide for the use of the Ada Ravenscar Profile in high integrity systems
inactive
| Organization: | CSA |
| Publication Date: | 1 December 2006 |
| Status: | inactive |
| Page Count: | 96 |
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
December 1, 2006
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.
ISO/IEC TR 24718-06
December 1, 2006
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.
January 1, 2006
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.
January 1, 2006
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.