Frolov, A. Application of the CHARM++ Software Model As a Target Platform for a Domain-Specific Language Compiler for the Analysis of Static Graphs. Num. Meth. Prog. 2017, 18, 103-114.