Accession Number:

ADP002607

Title:

Problem-Oriented Specification of Concurrent Algorithms,

Descriptive Note:

Corporate Author:

JET PROPULSION LAB PASADENA CA

Personal Author(s):

• Cremers,A. B.
• Hibbard,T. N.

Report Date:

1983-01-01

Pagination or Media Count:

5.0

Abstract:

The main purpose of the present paper is to suggest an executable algorithmic notation for VLSI solutions which, in many cases, may be more natural than traditional programming notation.

Descriptors:

• *Algorithms
• *Computer programming
• *Specifications
• Semantics
• Syntax

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE