Pascal-based Language Research Articles

An extensible open encapsulated protocol for quality-assured wind engineering time-series

A protocol for acquiring and archiving wind engineering time-series data is proposed that takes all the reference data of the experiment, descriptions of processes performed on the data and the results of quality assurance audits and binds these tightly together with the experimental data as a single entity. This paper demonstrates using this protocol for data acquisition, quality assurance audits, analysis and reporting. The protocol is capable of extension and evolution to accommodate changing requirements. It is currently implemented in Delphi, a Pascal-based language, but will eventually be developed into an “ActiveX” object to extend its use to any other language, such as BASIC, C or Java, that complies with the ActiveX common object model. The definition of the protocol is “open”, i.e., it is freely available. It is the hope that the source code of all programs that implement the protocol will also be made freely available by their authors, under the commonly accepted copyright terms for open-source applications. Further, it is hoped that this protocol may become internationally accredited for the purpose of quality assurance.

The design and implementation of a pascal-based language for array processor architectures

This paper describes the programming language Actus II, which has evolved from the Pascal-based parallel language Actus, and has also been influenced by the architecture of array processors. This language facilitates the construction of parallel algorithms in a notation which is independent of the underlying architecture. Work on the implementation of a compiler for the ICL Distributed Array Processor (DAP) is currently under way and some aspects of this implementation are described.

A Compiler for an Array and Vector Processing Language

A compiler for a Pascal-based language Actus is described. The language is suitable for the expression of the type of parallelism offered by both array and vector processors. The implementation described is for the Cray-1 computer. An objective of the implementation has been to construct an optimizing compiler which can be readily adapted for a range of array and vector processors. As a result the machine-dependent sections of the compiler have been clearly identified.

A short introduction to Concurrent Euclid

This is an introduction to Concurrent Euclid (CE), a language designed for high performance, highly reliable system software, such as operating systems, compilers and embedded microprocessor systems. CE is a Pascal-based language with processes and monitors (as specified by C. A. R. Hoare). It has language constructs needed for systems programming including separate compilation, variables at absolute addresses, type converters, long integers and so on.A Small (50k bytes), fast, portable compiler is available for CE running under UNIX. It is self-compiling and has replaceable code generators. There exist high quality code generators for several computers including the PDP-11, VAX, Motorola 68000 and Motorola 6809. These typically generate as good or better code than other compilers such as "C".CE programs that use concurrency can be run on a bare machine (supported by a small assembly language kernel), or in simulated mode as an ordinary appearing job running under an operating system.CE is defined precisely by "Specification of Concurrent Euclid" by Cordy and Holt.

On a transportable high level language for minicomputers

This paper describes a high-level, PASCAL-based language, which is easily implementable on minicomputers with limited amounts of memory. The added features include a machine and operating system—independent formalism for describing file structures, and allow either compile time or run-time specification of the actual-formal file correspondence. A similar formalism for handling program overlays is described. These constructs are implemented in a manner consistent with the underlying language PASCAL, and allow one to easily write operating systems components.

On a transportable high level language for minicomputers

This paper describes a high-level, PASCAL-based language, which is easily implementable on minicomputers with limited amounts of memory. The added features include a machine and operating system---independent formalism for describing file structures, and allow either compile time or runtime specification of the actual-formal file correspondence. A similar formalism for handling program overlays is described. These constructs are implemented in a manner consistent with the underlying language PASCAL, and allow one to easily write operating systems components.