ENTITY Z notation

Z notation

PulseAugur coverage of Z notation — every cluster mentioning Z notation across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

0 over 90d

TIER MIX · 90D

TOPICS

other 1

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

COMMENTARY · CL_199148 · Aug 13 · 17:45

Z notation's verbose syntax contrasted with functional programming languages

The Z notation, a formal method for software specification, was highly regarded in the early 1980s when imperative languages like C and Pascal dominated. However, the author found its syntax overly verbose compared to f…