Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pierre Courtieu, Maria Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings. Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. In Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. pages 21-22, ACM, 2013. [doi]

This author has not been identified. Look up 'Pierre Courtieu' in GoogleThis author has not been identified. Look up 'Maria Virginia Aponte' in GoogleThis author has not been identified. Look up 'Tristan Crolard' in GoogleThis author has not been identified. Look up 'Zhi Zhang' in GoogleThis author has not been identified. Look up 'Robby' in GoogleThis author has not been identified. Look up 'Jason Belt' in GoogleThis author has not been identified. It may be one of the following persons:

John Hatcliff

Look up 'John Hatcliff' in GoogleThis author has not been identified. Look up 'Jérôme Guitton' in GoogleThis author has not been identified. Look up 'Trevor Jennings' in Google

runs on WebDSL