Designing parallel systems in a correct way is difficult. Transformational design of systems guarantees correctness by the correctness of the transformations, but is often tedious and complicated. We discuss different transformation strategies to guide the designer from the initial specification to different implementations, tailored to different architectures. Strategies give rise to simpler transformation rules, point the way in the design trajectory, and allow for the reuse of proofs and transformation steps when deriving optimizations and variants of algorithms.
CITATION STYLE
Bohn, J., & Janssen, W. (1996). A strategic approach to transformational design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1051, pp. 609–628). Springer Verlag. https://doi.org/10.1007/3-540-60973-3_110
Mendeley helps you to discover research relevant for your work.