Z is not an executable language generally, so there is no such thing as a Z compiler/link/etc.

• Z语言作为一种软件工程语言和形式化方法,在软件文档规范化的应用中成效显著。