Pureに変更を加えた場合、すぐここに表示されます。

フィンガープリント Isao Sasanoが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。

ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

研究成果

  • 133 引用
  • 6 h指数
  • 16 Article
  • 8 Conference contribution
  • 2 Paper
  • 2 Conference article

An approach to generate text-based IDEs for syntax completion based on syntax specification

Sasano, I., 2020 1 20, PEPM 2020 - Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020. Poulsen, C. B. & Hu, Z. (版). Association for Computing Machinery, Inc, p. 38-44 7 p. (PEPM 2020 - Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020).

研究成果: Conference contribution

  • Inductive theorem proving in non-terminating rewriting systems and its application to program transformation

    Kikuchi, K., Aoto, T. & Sasano, I., 2019 10 7, Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019. Association for Computing Machinery, a13. (ACM International Conference Proceeding Series).

    研究成果: Conference contribution

    公開
  • Detecting code clones with gaps by function applications

    Matsushita, T. & Sasano, I., 2017 1 2, PEPM 2017 - Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2017. Association for Computing Machinery, Inc, p. 12-22 11 p.

    研究成果: Conference contribution

    4 引用 (Scopus)