Accession Number:

ADA242133

Title:

On Recursive Free Types in Z

Descriptive Note:

Corporate Author:

ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)

Personal Author(s):

Report Date:

1991-08-01

Pagination or Media Count:

40.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE