On Recursive Free Types in Z

Abstract

Inconsistent specifications may give rise to false conclusions in reasoning, thus destroying the point of having a specification. This report is concerned with inconsistent specifications which may arise when using the formal specification language Z. In particular, the report is concerned with the inconsistencies that can arise when using recursive free types, and recursive functions defined over recursive free types. The intended audience of the report consists of Z practitioners who wish to avoid writing meaningless specifications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1991
Accession Number
ADA242133

Entities

People

  • A. Smith

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Construction
  • Equations
  • Language
  • Mathematics
  • Numbers
  • Plastic Explosives
  • Programming Languages
  • Real Numbers
  • Recursive Functions
  • Semantics
  • Sequences
  • Set Theory
  • Specifications
  • Theorems

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Educational Psychology
  • Software Engineering