If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Isao Sasano is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 133 Citations
  • 6 h-Index
  • 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 Jan 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. (eds.). 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

    Kikuchi, K., Aoto, T. & Sasano, I., 2019 Oct 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Detecting code clones with gaps by function applications

    Matsushita, T. & Sasano, I., 2017 Jan 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.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)