Choreographic programming is a paradigm for developing concurrent and distributed systems, where programs are choreographies that define, from global viewpoint, the computations interactions communicating processes should enact. Choreography compilation translates into local definitions of process behaviours, given as terms in calculus. Proving choreography correct challenging error-prone, beca...

Plan-do compilation technique is a new, advanced compilation framework for eager data transfer on distributed-memory parallel architectures. The technique is especially eective for a recent breed of low-latency architectures by realizing a high-throughput low-latency communication scheme, pipelined sends. The compilation of high-level, plan-do style code into low-level, eager data transfer code...

This article aims at strategic vision to technology and suggests a strategic planning for this purpose. The main emphasis in this article is on strategic report compilation in the framework of strategic vision and covers issues such as identification of strategic planning dimensions and strategic vision levels, technology priority setting, environment monitoring, focus on costumer needs, method...