Author:
Ghosal Sandip,Shyamasundar R. K.
Publisher
Springer International Publishing
Reference20 articles.
1. Spark 2014.
http://www.spark-2014.org/about
2. Andrews, G.R., Reitman, R.P.: An axiomatic approach to information flow in programs. ACM Trans. Program. Lang. Syst. (TOPLAS) 2(1), 56–76 (1980)
3. Lecture Notes in Computer Science;A Askarov,2008
4. Barnes, J.G.P.: High Integrity Software: The Spark Approach to Safety and Security. Pearson Education, London (2003)
5. Bergeretti, J.F., Carré, B.A.: Information-flow and data-flow analysis of while-programs. ACM Trans. Program. Lang. Syst. (TOPLAS) 7(1), 37–61 (1985)