Back to Search
Start Over
SPARK 2014 Rationale: Ghost Code, Object Oriented Programming and Functional Update.
- 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]
- Subjects :
- PUBLICATIONS
ADA (Computer program language)
PERIODICALS
COMPUTER programming
Subjects
Details
- Language :
- English
- ISSN :
- 13816551
- Volume :
- 36
- Issue :
- 2
- Database :
- Complementary Index
- Journal :
- Ada User Journal
- Publication Type :
- Academic Journal
- Accession number :
- 109326508