OOT, DO-178C and SPARK

Authors:
Roderick Chapman;Trevor Jennings
Affiliations:
Altran Praxis Limited, Bath, UK;Altran Praxis Limited, Bath, UK
Venue:
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Year:
2011

Citing 2
Cited 0

A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Touch of Class: Learning to Program Well with Objects and Contracts

Touch of Class: Learning to Program Well with Objects and Contracts

Quantified Score

Hi-index	0.00

Visualization

Abstract

This position paper briefly covers the design of object-oriented programming in SPARK, and goes on to discuss the potential impact that the emerging DO-178C and Ada2012 standards might have on SPARK.