Computer Software / Journal home; 2019 Volume 36 Issue 2 Heijo: A Real-time Profiler for Java and Android Applications with City-like Visualization of Dynamic Code Executions. Katsuya OGAMI, Keitaro NAKASAI, Hideaki HATA, Kenichi MATSUMOTO. Automated Proofs of Horn-Clause Inductive Theorems for Conditional Term Rewriting Systems. ...