Syntax and Lexis of the Specification Language Z

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1990
Accession Number
ADA222618

Entities

People

  • C. T. Sennett

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Analyzers
  • Comprehension
  • Computer Languages
  • Construction
  • Copyrights
  • Grammars
  • Inclusions
  • Intellectual Property
  • Iterations
  • Language
  • Linguistics
  • Notation
  • Personality
  • Production
  • Sequences
  • Specifications
  • Standards

Fields of Study

  • Education

Readers

  • Computational Linguistics
  • Systems Analysis and Design