Share This Author
An array processing language for transputer networks
The formal specification of abstract data types and their implementation in Fortran 90
The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers
A Family of Data-Parallel Derivations
A good programmer attempts to minimize architecture-specific detail when writing a sequential implementation of an algorithm, which makes it possible to transport the implementation to other hardware architectures and thus minimize programmer effort.
Notes on implementing a language for transputer networks
2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)
Latin: A Language for Transputer Networks
Program slicing: a computer aided programming technique
The authors describe a new technique called program slicing, which is based on the observation that good programs are often constructed by taking a basic framework and enriching it in a number of passes with further information.
The Automated Derivation of Sparse Implementations of Numerical Algorithms through Program Transformation 1
The automated application of program transformations is used to derive, from abstract functional specifications of numerical mathematical algorithms, highly efficient imperative imple- mentations…
Unfolding Recursive Function Definitions Using the Paradoxical Combinator
The use of the paradoxical combinator, Y, to unfold all function definitions, including recursive definitions, is discussed and termination is assured withoutnecessitating aseparatecontrolmechanism.