Computer Software

Mining software repositories

Akito Monden, Akinori Ihara, Kenichi Matsumoto · 2013 · 18 citations

Type-based Information Flow Analysis for a Low-level Language

Naoki Kobayashi, Keita Shirane · 2003 · 17 citations

Computing, Computer Science, Compilers +13

Failure of cut-elimination in cyclic proofs of separation logic

Daisuke Kimura, Koji Nakazawa, Tachio Terauchi et al. · 2020 · 11 citations

Computing, Computer Science, Algorithms +9

A Survey on Methods of Recording Fine-grained Operations on Integrated Development Environments and their Applications

Takayuki Omori, Shinpei Hayashi, Katsuhisa Maruyama · 2015 · 10 citations

Computing, Computer Engineering, Computer Science +14