Accession Number:

ADA222618

Title:

Syntax and Lexis of the Specification Language Z

Descriptive Note:

Memorandum rept.

Corporate Author:

ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)

Personal Author(s):

Report Date:

1990-02-01

Pagination or Media Count:

26.0

Abstract:

This memorandum is presented as a contribution to the standardization of the specification language Z. It deals with the presentation issues which need to be settled in the definition of the Z language from the viewpoint of users and tool makers. These include lexical matters, the representation of Z in ASCII symbols, overall questions of syntax and usage, detailed areas of syntactic divergence and some unresolved issues in the type-checking system. Keywords Programming languages Great Britain.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE