Back to Search Start Over

SPARK 2014 Rationale: Data dependencies and Information Flow.

Authors :
Efstathopoulos, Pavlos
Source :
Ada User Journal. Sep2014, Vol. 35 Issue 3, p204-207. 4p.
Publication Year :
2014

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 two contributions regarding data dependencies and information flow in SPARK. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
*MATHEMATICAL variables
*COMPUTER programming
*SUBROUTINES (Computer programs)
*DEPENDENCY ratio
*COMPUTER science

Details

Language :
English
ISSN :
13816551
Volume :
35
Issue :
3
Database :
Academic Search Index
Journal :
Ada User Journal
Publication Type :
Academic Journal
Accession number :
101416448

Tools

Authors Abstract Subjects Details