Syntax and Lexis of the Specification Language Z
ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)
Pagination or Media Count:
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.
- Computer Programming and Software