Accession Number : ADA181036

Title :   Integrity and the Flex Programming Support Environment,

Corporate Author : ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (ENGLAND)

Personal Author(s) : Stanley,Margaret

PDF Url : ADA181036

Report Date : Jun 1986

Pagination or Media Count : 24

Abstract : Flex is a multi-language Programming Support Environment (PSE) with a large amount of software available to users. It is built on the Flex capability object oriented architecture developed at RSRE, Malvern. The main design aim was to develop a system of high integrity and reliability and to simplify the development and maintenance of complex software. The result was a highly interactive PSE that is noticeably different from other PSEs. The PSE development since the first Flex architecture came into using the system. The software base includes all normal operating system facilities and many other procedures including compilers for AlgoI68 and Pascal. An Ada compiler is near completion and an ML compiler is under development. This paper discusses the integrity of the Flex Programming support environment, developed at RSRE, Malvern. It describes the special characteristics of the environment which result in a system of unusually high integrity. These characteristics include the capability mechanism, non-overwriting filestore and the use of procedures as first class objects.

Descriptors :   *PROGRAMMING LANGUAGES, COMPILERS, COMPUTER ARCHITECTURE, HIGH RELIABILITY, RELIABILITY, COMPUTER PROGRAMS, COMPUTER PROGRAMMING, MAINTENANCE, GREAT BRITAIN

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE