Implementing a domain- specific multi-result supercompiler by means of the MRSC toolkit
A. V. Klimov, Ilya G. Klyuchnikov, Sergei Anatolievich Romanenko · 2012
The paper presents a simple domain-specic multi-result supercompiler for counter systems implemented by means of the MRSC toolkit. The input language of the supercompiler is a non-deterministic domain-specic language meant for specifying models of communication protocols. The implementation of this DSL is based on \\embedding" and the heavy use of higher-order constructs. There are presented 2 versions of the multi-result supercompiler. The rst one implements a nave algorithm, which turns out to be rather inecient. The second version exploits the specics of the domain, thereby drastically reducing the number of generated graphs of congurations and the amount of resources consumed by supercompilation.