Developing a profile for using object-oriented Ada in high-integrity systems

Authors:
Jean-Pierre Rosen
Affiliations:
Adalog, France
Venue:
ACM SIGAda Ada Letters
Year:
2011

Citing 2
Cited 0

A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Guide for the use of the Ada Ravenscar Profile in high integrity systems

ACM SIGAda Ada Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper reports on the workshop that was held on Oct 27th, 2010 during the SIGAda conference in Fairfax, VA. The goal of the workshop was to start an effort for defining a restricted profile for Object Oriented programming with Ada for high integrity systems, following the example of the Ravenscar profile for the concurrency aspects.