Proceedings of the third international IEEE conference on Ada applications and environments

Conference · Fri Jan 01 00:00:00 EST 1988

OSTI ID:5865435

These proceedings collect papers on software applications. Topics include: An interleaving symbolic execution approach for the formal verification of Ada programs with tasking, fault-tolerant Ada software, object-oriented frameworks for Ada, and generating multitasking Ada programs from high-level specifications.

• OSTI ID: 5865435
• Report Number(s): CONF-8805166-
• Resource Relation: Conference: 3. IEEE international conference on Ada applications and environments, Manchester, NH, USA, 23-25 May 1988
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
ADA
COMPUTER CODES
ARRAY PROCESSORS
SUPERCOMPUTERS
TASK SCHEDULING
EXECUTIVE CODES
LEADING ABSTRACT
PARALLEL PROCESSING
ABSTRACTS
COMPUTERS
DATA PROCESSING
DIGITAL COMPUTERS
DOCUMENT TYPES
PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
990210* - Supercomputers- (1987-1989)