The Munich Project CIP: Volume I: the wide spectrum language CIP-L
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
Designing efficient algorithms for parallel computers
Designing efficient algorithms for parallel computers
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Scans as Primitive Parallel Operations
IEEE Transactions on Computers
Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
Parallel-program transformation using a metalanguage
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
Deriving parallel programs from specifications using cost information
Science of Computer Programming
Introduction to Formal Language Theory
Introduction to Formal Language Theory
Parallel Programming Using Skeleton Functions
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Formal Derivation of SIMD Parallelism from Non-Linear Recursive Specifications
CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
Functional Development of Massively Parallel Programs (Invited Paper)
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
Programming and Computing Software
Program Synthesis from Film Specifications
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
| Hi-index | 0.00 |
The paper describes-from a software engineering perspective-a framework for the formal development of parallel algorithms on arbitrary architectures. The algorithms are synthesised in a transformational way, i.e. by applying correctness preserving rewrite rules to a formal specification. The architectures are modelled by skeletons-higher order functions that represent elementary computations on a certain architecture. It is shown that the combination of transformational programming and skeletons stimulates the reuse of program derivations. Furthermore, interskeleton transformations will provide the means for architecture independent program development.