Paper Info
Title
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada
Abstract
SPARK is a verifiable subset of Ada which has been in use for over 20 years for developing the most critical parts of complex real-time applications [1][2]. A restricted subset of the Ada tasking model is included in the newer versions of SPARK ("RavenSPARK"), but this is a very static model, with a fixed number of tasks and minimal task interaction [3]. In this presentation we will describe an extension of SPARK to support safe highly parallel programming, targeted at the growing number of multicore and manycore processors appearing on the market today.
Year
DOI
Venue
2013
10.1145/2527269.2527279
HILT
Keywords
DocType
Volume
ada,multicore programming,parallel programming,pointer-free programming,spark
Conference
33
Issue
ISSN
Citations 
3
1094-3641
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
S. Tucker Taft15014.12