COMPARATIVE EVALUATION OF ADA AND EUCLID.

David F. Athersych; David T. Barnard; Glenn H. Macewen; Carl D. McCrosky; Douglas J. Ross

doi:10.1080/03155986.1983.11731896

COMPARATIVE EVALUATION OF ADA AND EUCLID.

David F. Athersych^*, David T. Barnard, Glenn H. Macewen, Carl D. McCrosky, Douglas J. Ross

^*Corresponding author for this work

King Fahd University of Petroleum & Minerals

Research output: Contribution to journal › Article › peer-review

Abstract

The languages Ada and Euclid are compared and evaluated in the context of three application areas: secure systems, real-time systems, and systems programming. Specific issues considered are verification, robustness, structuring, implementation, functionality, and portability. Programming experiments, supported by the MIT test translator and the Toronto Euclid compiler, are described. The program specifications chosen, Wirth's p1/0 compiler in Pascal, UNIX levels 0-2 in SPECIAL, the Ada radar track manager example, and the Euclid zone example, were chosen to exercise areas of strength in each language and to represent the applications of interest. Conclusions regarding the suitability of Ada and Euclid for these application areas are given.

Original language	English
Pages (from-to)	157-176
Number of pages	20
Journal	INFOR
Volume	21
Issue number	3
DOIs	https://doi.org/10.1080/03155986.1983.11731896
State	Published - 1983

ASJC Scopus subject areas

Signal Processing
Information Systems
Computer Science Applications

Access to Document

10.1080/03155986.1983.11731896

Cite this

@article{ac28a36d4aa1407aa1c6b3a2214d086d,

title = "COMPARATIVE EVALUATION OF ADA AND EUCLID.",

abstract = "The languages Ada and Euclid are compared and evaluated in the context of three application areas: secure systems, real-time systems, and systems programming. Specific issues considered are verification, robustness, structuring, implementation, functionality, and portability. Programming experiments, supported by the MIT test translator and the Toronto Euclid compiler, are described. The program specifications chosen, Wirth's p1/0 compiler in Pascal, UNIX levels 0-2 in SPECIAL, the Ada radar track manager example, and the Euclid zone example, were chosen to exercise areas of strength in each language and to represent the applications of interest. Conclusions regarding the suitability of Ada and Euclid for these application areas are given.",

author = "Athersych, \{David F.\} and Barnard, \{David T.\} and Macewen, \{Glenn H.\} and McCrosky, \{Carl D.\} and Ross, \{Douglas J.\}",

year = "1983",

doi = "10.1080/03155986.1983.11731896",

language = "English",

volume = "21",

pages = "157--176",

journal = "INFOR",

issn = "0315-5986",

number = "3",

}

TY - JOUR

T1 - COMPARATIVE EVALUATION OF ADA AND EUCLID.

AU - Athersych, David F.

AU - Barnard, David T.

AU - Macewen, Glenn H.

AU - McCrosky, Carl D.

AU - Ross, Douglas J.

PY - 1983

Y1 - 1983

N2 - The languages Ada and Euclid are compared and evaluated in the context of three application areas: secure systems, real-time systems, and systems programming. Specific issues considered are verification, robustness, structuring, implementation, functionality, and portability. Programming experiments, supported by the MIT test translator and the Toronto Euclid compiler, are described. The program specifications chosen, Wirth's p1/0 compiler in Pascal, UNIX levels 0-2 in SPECIAL, the Ada radar track manager example, and the Euclid zone example, were chosen to exercise areas of strength in each language and to represent the applications of interest. Conclusions regarding the suitability of Ada and Euclid for these application areas are given.

AB - The languages Ada and Euclid are compared and evaluated in the context of three application areas: secure systems, real-time systems, and systems programming. Specific issues considered are verification, robustness, structuring, implementation, functionality, and portability. Programming experiments, supported by the MIT test translator and the Toronto Euclid compiler, are described. The program specifications chosen, Wirth's p1/0 compiler in Pascal, UNIX levels 0-2 in SPECIAL, the Ada radar track manager example, and the Euclid zone example, were chosen to exercise areas of strength in each language and to represent the applications of interest. Conclusions regarding the suitability of Ada and Euclid for these application areas are given.

UR - https://www.scopus.com/pages/publications/0020797711

U2 - 10.1080/03155986.1983.11731896

DO - 10.1080/03155986.1983.11731896

M3 - Article

AN - SCOPUS:0020797711

SN - 0315-5986

VL - 21

SP - 157

EP - 176

JO - INFOR

JF - INFOR

IS - 3

ER -

COMPARATIVE EVALUATION OF ADA AND EUCLID.

Abstract

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this