Automatic transformation of high-level object-oriented specifications into parallel programs☆
References (32)
Adaequacy of path programs
- et al.
An introduction to the set theoretical language SETL
J. Comput. Math. Appl.
(1975) - et al.
A linear algebra package for a local memory multiprocessor: Problems, proposals and solutions
Parallel Comput.
(1988) - et al.
A proof system for CSP
ACM Trans. Programming Languages and Systems
(1980) American National Programming Language FORTRAN
(1978)American National Standard for Information Systems Programming Language FORTRAN
Draft S8
(1987)Domain-specific automatic programming
IEEE Trans. Software Engng
(1985)- et al.
The German supercomputer architecture — Rationale and concepts
- et al.
A software development environment integrating specification and programming languages
An overview of KRL
Cognitive Sci.
(1977)
An informal introduction ro specifications using CLEAR
Guarded commands, nondeterminacy and formal derivation of programs
Comm. ACM
(1975)
MIMD-Fortran, GMD-Report
(1986)
An introduction to OBJ: a language for writing and testing formal algebraic program specifications
An initial algebra approach to the specification, correctness and implementation of abstract data types
Cited by (0)
- ☆
The work described in this report is being carried out as part of the German Supercomputer project SUPRENUM and is funded by the Federal Ministry for Research and Technology, Fed. Rep. Germany, under grant number ITR8502D0. The authors assume all responsibility for the contents of this report.
Copyright © 1989 Published by Elsevier B.V.