Sciweavers

SIGADA
1998
Springer
15 years 10 days ago
Dependency Analysis of Ada Programs
Janusz W. Laski, William Stanley, Jim Hurst
65
Voted
SIGADA
1998
Springer
15 years 29 days ago
Building Fault Tolerant Distributed Systems Using IP Multicast
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
Samuel Tardieu, Laurent Pautet
SIGADA
1998
Springer
15 years 29 days ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
SIGADA
1998
Springer
15 years 29 days ago
A Specification and Code Generation Tool for Message Translation and Validation
Charles Plinta, Richard D'Ippolito, Roger Van Scoy
SIGADA
1998
Springer
15 years 29 days ago
Extensible Protected Types
At the last workshop, the issue of being able to extend protected types in the same manner as tagged types was discussed. The conclusion was that further consideration was needed ...
O. P. Kiddle, Andy J. Wellings