Transformational derivation of higher-order process compositions

We present the current status of our research on a higher-order abstraction framework for process compositions and transformational derivation in functional programming. The aim is to aid formal treatment of system-level design for highly-parallel systems and, in particular, VLSI architectures. Starting from a well-known technique for higher-order abstraction of process compostions, we investigate higher-order abstraction of compostion transformation rules, which abstracts out concrete compostions. This abstract transformation is regarded as transformation of interpreters, which is meta-level transformation. We mention our investigation towards monad-based interpretater transformation.