• Publications
  • Influence
An array processing language for transputer networks
This paper outlines a language designed to facilitate the solution of problems which involve some array processing, called LATIN, and is currently being implemented on a transputer network. Expand
Notes on implementing a language for transputer networks
Some of the features of Latin are outlined, and the strategy for implementing these features is discussed, to build flexible array processing networks if these networks are programmed in occam. Expand
Program development within the mathematician's devil
Following an overview of the project the paper concentrates on the programming interface provided by the system, and concludes with a statement of the current project status. Expand
Latin: A Language for Transputer Networks
The formal specification of abstract data types and their implementation in Fortran 90
It is shown how a formal notation can be used to specify unambigously the functionality of software components and how Fortran 90 directly supports the encapsulation of ADTs thereby enabling the construction of better engineered software than has hitherto been possible using Fortran. Expand
The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers
It is shown that the issue of storage recovery cannot be avoided by the ADT user, and a set of guidelines for implementing ADTs using pointers in Fortran 90 is proposed, which offer a way gracefully to provide disposal operations inFortran 90. Expand
LATIN - A Langauge for Transputer Networks
A comparison of programming paradigms for the parallel computation of racah coefficients: An application of transputers to computational atomic physics
Two programming paradigms are described for the parallel computation of a set of over fifteen thousand Racah coefficients first tabulated by Simon et al in 1954, computed on a network of seventeen T414 transputers. Expand
Derivation of scientific software from mathematical specifications
Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they areExpand