Publications

Safe Parallel Programming in Ada with Language Extensions

AuthID
P-009-Z8B

Author(s)

Taft, ST

Moore, B

Pinho, LM

Michell, S

Document Type

Proceedings Paper

Year published

2014

Published

in HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology

Pages: 87-96

Conference

Acm Sigada's Annual International Conference High Integrity Language Technology, Hilt 2014, Date: 18 October 2014 through 21 October 2014, Sponsors: ACM SIGAda;AdaCore;Ellidiss;Microsoft Research

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/2663171.2663181

Scopus: 2-s2.0-84910676651

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Safe Parallel Programming in Ada with Language Extensions

Useful Links

Get Help

Federated Authentication (Click on the image)

Safe Parallel Programming in Ada with Language Extensions

Useful Links

Get Help