Back to Search Start Over

SPARK 2014 Rationale: Ghost Code, Object Oriented Programming and Functional Update.

Authors :
Moy, Yannick
Source :
Ada User Journal; Jun2015, Vol. 36 Issue 2, p113-115, 3p
Publication Year :
2015

Abstract

This paper continues the publication of the "SPARK 2014 Rationale", which started in the December 2013 issue of the Ada User Journal. In this instalment, we present three contributions regarding ghost code, Object Oriented programming and functional update in SPARK. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
13816551
Volume :
36
Issue :
2
Database :
Complementary Index
Journal :
Ada User Journal
Publication Type :
Academic Journal
Accession number :
109326508