Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781595938763

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The compiler as a static analysis tool

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315601 ◽

2007 ◽

Cited By ~ 1

Author(s):

Robert B. K. Dewar

Keyword(s):

Static Analysis ◽

Analysis Tool ◽

Static Analysis Tool

Using SPARK for a beginner's course on reasoning about imperative programs

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315599 ◽

2007 ◽

Author(s):

Kung-Kiu Lau

Timing neural networks in C and ada

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315598 ◽

2007 ◽

Author(s):

Martin C. Carlisle ◽

Leemon C. Baird III

Keyword(s):

Neural Networks

Hibachi

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315604 ◽

2007 ◽

Author(s):

Tom Grosman

MP1

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315588 ◽

2007 ◽

Author(s):

Frank Singhoff

Verified component-based software in SPARK

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315594 ◽

2007 ◽

Cited By ~ 1

Author(s):

Kung-Kiu Lau ◽

Zheng Wang

Birds-of-a-feather

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315603 ◽

2007 ◽

Author(s):

Robert Dewar

Federal aviation administration and ada

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315597 ◽

2007 ◽

Author(s):

Jeff O'Leary

Keyword(s):

Federal Aviation Administration

Correctness by construction

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315605 ◽

2007 ◽

Cited By ~ 2

Author(s):

Rod Chapman

SA2: languages for safety-critical software

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07 ◽

10.1145/1315580.1315583 ◽

2007 ◽

Author(s):

Ben Brosgol

Keyword(s):

Safety Critical

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

The compiler as a static analysis tool

Using SPARK for a beginner's course on reasoning about imperative programs

Timing neural networks in C and ada

Hibachi

MP1

Verified component-based software in SPARK

Birds-of-a-feather

Federal aviation administration and ada

Correctness by construction

SA2: languages for safety-critical software

Proceedings of the 2007 ACM international conference on SIGAda annual international conference - SIGAda '07
Latest Publications