Accession Number:

ADA070056

Title:

Formal Modeling of Virtual Machines,

Descriptive Note:

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA LOS ANGELES

Personal Author(s):

• Cremers, Armin B.
• Hibbard, Thomas N.

Report Date:

1976-05-03

Pagination or Media Count:

12.0

Abstract:

Descriptors:

• *COMPUTER PROGRAMMING
• *SEMANTICS
• FUNCTIONAL ANALYSIS
• HIERARCHIES
• INFORMATION PROCESSING
• REPRINTS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE