Syntax and Lexis of the Specification Language Z

reportActive / Technical Report | Accession Number: ADA222618 | Open PDF

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.

Author(s):
Sennett, C. T.
Author Organization(s):
ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)
Descriptive Note:
Memorandum rept.
Pagination:
0026

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
RSRE-MEMO-4367, DRIC-BR-113378
Monitor Series:
BR-113378
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control
Communities of Interest:
Energy and Power Technologies
Descriptor(s):
*PROGRAMMING LANGUAGES, UNITED KINGDOM, USER NEEDS, SYNTAX, SPECIFICATIONS, STANDARDIZATION
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
Z SPECIFICATION LANGUAGE, SPECIFICATION LANGUAGES, FOREIGN REPORTS
Report Date:
1990 Feb 01