Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450324670

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527278 ◽

2013 ◽

Author(s):

Pierre Courtieu ◽

Maria Virginia Aponte ◽

Tristan Crolard ◽

Zhi Zhang ◽

Fnu Robby ◽

...

Keyword(s):

Run Time

Download Full-text

SAW

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527277 ◽

2013 ◽

Cited By ~ 4

Author(s):

Kyle Carter ◽

Adam Foltzer ◽

Joe Hendrix ◽

Brian Huffman ◽

Aaron Tomb

Download Full-text

Automatic versus interactive program verification

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527281 ◽

2013 ◽

Author(s):

Suad Alagic

Keyword(s):

Program Verification ◽

Interactive Program

Download Full-text

Tutorial

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527285 ◽

2013 ◽

Author(s):

S. Tucker Taft

Download Full-text

Technology for inferring contracts from code

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527280 ◽

2013 ◽

Author(s):

Francesco Logozzo

Download Full-text

Engineering domain-specific languages with formula 2.0

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527286 ◽

2013 ◽

Author(s):

Ethan K. Jackson

Keyword(s):

Domain Specific Languages ◽

Domain Specific

Download Full-text

Satisfiability modulo theories for high integrity development

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527287 ◽

2013 ◽

Author(s):

Nikolaj Bjorner

Keyword(s):

Satisfiability Modulo Theories ◽

High Integrity

Download Full-text

Up and out

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527293 ◽

2013 ◽

Author(s):

Michael W. Whalen

Download Full-text

Bringing safe, dynamic parallel programming to the spark verifiable subset of ada

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527279 ◽

2013 ◽

Author(s):

S. Tucker Taft

Keyword(s):

Parallel Programming

Download Full-text

Compositional verification of a medical device system

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 ◽

10.1145/2527269.2527272 ◽

2013 ◽

Cited By ~ 24

Author(s):

Anitha Murugesan ◽

Michael W. Whalen ◽

Sanjai Rayadurgam ◽

Mats P.E. Heimdahl

Keyword(s):

Medical Device ◽

Compositional Verification

Download Full-text

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

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

SAW

Automatic versus interactive program verification

Tutorial

Technology for inferring contracts from code

Engineering domain-specific languages with formula 2.0

Satisfiability modulo theories for high integrity development

Up and out

Bringing safe, dynamic parallel programming to the spark verifiable subset of ada

Compositional verification of a medical device system

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13
Latest Publications