Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Statistics
  • Help & Advice
University of Warwick

The Library

  • Login

THE CHOICE OF COMPUTER LANGUAGES FOR USE IN SAFETY-CRITICAL SYSTEMS

Tools
- Tools
+ Tools

UNSPECIFIED (1991) THE CHOICE OF COMPUTER LANGUAGES FOR USE IN SAFETY-CRITICAL SYSTEMS. SOFTWARE ENGINEERING JOURNAL, 6 (2). pp. 51-58. ISSN 0268-6961

Full text not available from this repository.

Abstract

The paper reviews the choice of computer language for use in safety-critical systems. The advice given reflects both civil and military requirements. A comparison is made between assembly-level languages, the language C, CORAL 66, Pascal, Modula-2 and Ada. It is concluded that a well defined sub-language is essential for use in safety-critical projects, and a guide is provided for project managers and designers on the characteristics which such a subset should possess.

Item Type: Journal Article
Subjects: Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Journal or Publication Title: SOFTWARE ENGINEERING JOURNAL
Publisher: IEE-INST ELEC ENG
ISSN: 0268-6961
Date: March 1991
Volume: 6
Number: 2
Number of Pages: 8
Page Range: pp. 51-58
Publication Status: Published
URI: http://wrap.warwick.ac.uk/id/eprint/22752

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item View Item
twitter

Email us: publications@warwick.ac.uk
Contact Details
About Us