Programming language standards scene, ten years on paper 17: Z notation

被引：0

作者：

Nicholls, John ^{[1
]}

机构：

[1] Oxford Univ Computing Lab, Oxford, United Kingdom

来源：

Computer Standards and Interfaces | 1994年 / 16卷 / 5-6期

关键词：

Formal logic - Mathematical transformations - Programming theory - Set theory - Standardization - Standards;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

This paper, one of a simultaneously published set, describes the establishment in 1986 of the standards project for Z Notation, and the progress of the project to the end of 1993.

引用

页码：537 / 539

共 28 条

[1] THE PROGRAMMING LANGUAGE STANDARDS SCENE, 10 YEARS ON .17. Z NOTATION
NICHOLLS, J
COMPUTER STANDARDS & INTERFACES, 1994, 16 (5-6) : 537 - 539
[2] Programming language standards scene, ten years on paper 8: basic
Kurtz, Thomas E.
Computer Standards and Interfaces, 1994, 16 (5-6): : 477 - 480
[3] Programming language standards scene, ten years on paper 11: C
Jones, Derek
Computer Standards and Interfaces, 1994, 16 (5-6): : 495 - 503
[4] Programming language standards scene, ten years on paper 4: cobol
Grealish, Rod
Computer Standards and Interfaces, 1994, 16 (5-6): : 453 - 458
[5] Programming language standards scene, ten years on paper 3: APL
Meek, B.L.
Ziemann, D.
Computer Standards and Interfaces, 1994, 16 (5-6): : 443 - 451
[6] Programming language standards scene, ten years on paper 9: ada
Barnes, John
Computer Standards and Interfaces, 1994, 16 (5-6): : 481 - 485
[7] Programming language standards scene, ten years on paper 5: fortran
Brainerd, W.S.
Computer Standards and Interfaces, 1994, 16 (5-6): : 459 - 464
[8] Programming language standards scene, ten years on paper 13: Prolog
Scowen, Roger
Computer Standards and Interfaces, 1994, 16 (5-6): : 511 - 518
[9] Programming language standards scene, ten years on paper 15: Vienna development method specification language (VDM-SL)
Parkin, Graeme I.
Computer Standards and Interfaces, 1994, 16 (5-6): : 527 - 530
[10] THE PROGRAMMING LANGUAGE STANDARDS SCENE, 10 YEARS ON
MEEK, BL
COMPUTER STANDARDS & INTERFACES, 1994, 16 (5-6) : 425 - 426

← 1 2 3 →