摘要:

Coral 66 was developed as a real-time programming language nearly twenty years ago. Its syntax took account of the computer architecture of the time and the compilers, which were developed over a decade ago, reflect the same standard of architecture. So it is not surprising that the portable Coral cross-compilers of today do not make use of the powerful instructions available. This paper discusses some extensions to the Coral syntax, to allow easy recognition of those constructs that can be performed efficiently by today's processors.

DOI:10.1049/sej.1986.0022

出版商:IEE    

年代:1986

数据来源: IET

摘要:

The programming language Coral 66 has a large following in the UK as a general-purpose computer language, especially in the embedded computer application area. The Ada programming language is destined to become an international standard language and was designed to satisfy the needs of the same application area as Coral 66. A change from programmingn in Coral to Ada is inevitable in many future projects, especially those which need large teams and which have a requirement for long term maintenance. The major features of the two languages are compared in an attempt to dispel some of the fears which seem to surround the transition from Coral 66 to Ada.

DOI:10.1049/sej.1986.0023

出版商:IEE    

年代:1986

数据来源: IET

摘要:

This paper describes the features of the language polyFORTH (an advanced version of FORTH) that the authors consider offer the engineer full control in the application of software to real-time control systems. This description is from an electronics engineer's viewpoint, based on the usage of this language in a large number of projects, from small intelligent instruments to large multiprocessor industrial process control systems. The paper concludes with a description of the software designed into one such large multiprocessor project, a combined safety system (fire and gas) in an oil rig.

DOI:10.1049/sej.1986.0024

出版商:IEE    

年代:1986

数据来源: IET

摘要:

This article describes the features of artificial intelligence problems that have affected the design of artificial intelligence languages. It describes ways in which artificial intelligence languages have been developed to cope with these features. It explains the role of the programming environment in which the artificial intelligence researcher works and how it is closely coupled with the languages he is using. Finally, some lessons that software engineering can draw from the artificial intelligence experience in using such environments are described.

DOI:10.1049/sej.1986.0025

出版商:IEE    

年代:1986

数据来源: IET

摘要:

Most people's knowledge of Occam† derives from their interest in the Inmos† Transputer. Occam is the language of the Transputer, the two having been developed hand-in-hand by Inmos.Although most of the initial applications of Occam have been concerned with extracting the maximum performance from multiple Transputer-based architectures, it should be pointed out that Occam is not an assembly-level language. Occam is a high-level language with many points to recommend it in its own right. The Transputer has made Occam commercially viable, but, even without the Transputer, Occam would have attracted a considerable amount of interest.This article provides an introduction to Occam and, where applicable, compares and contrasts it with Ada*. Occam is far simpler that Ada, but the two languages do have similarities. The models of concurrency in both Ada and Occam were derived from Hoare's work on Communicating Sequential Processes(CSP) [3]. and both languages have been developed for use in real-time embedded systems [4].

DOI:10.1049/sej.1986.0026

出版商:IEE    

年代:1986

数据来源: IET

摘要:

NewSpeak is a language designed for use in safety-critical programs. It tries to limit the freedom of the programmer to the kind of ideas in programming that are reasonably easy to formalise, without making these restrictions unduly onerous. Its principal characteristic is that it has no exceptional values or states. Incorrect constructions which would lead to exceptional behaviour, such as range violations or numerical overflow, are all dealt with at compile time.

DOI:10.1049/sej.1986.0027

出版商:IEE    

年代:1986

数据来源: IET