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