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