• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20002021

Research activity per year

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

Search results

  • Conference contribution

    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

    1 Citation (Scopus)
  • A text-based syntax completion method using LR parsing

    Sasano, I. & Choi, K., 2021 Jan 18, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, Inc, p. 32-43 12 p. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

    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. Schultz, U. P. & Yallop, J. (eds.). Association for Computing Machinery, Inc, p. 12-22 11 p. (PEPM 2017 - Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2017).

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

    8 Citations (Scopus)
  • Generation of efficient programs for solving maximum multi-marking problems

    Sasano, I., Hu, Z. & Takeichi, M., 2001, Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings. Taha, W. (ed.). Springer Verlag, p. 72-91 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2196).

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

    9 Citations (Scopus)
  • 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
    3 Citations (Scopus)
  • Lightweight fusion by fixed point promotion

    Ohori, A. & Sasano, I., 2007, Conference Record of POPL 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Papers Presented at the Symposium. p. 143-154 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    30 Citations (Scopus)
  • Marker-directed optimization of UnCAL graph transformations

    Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K. & Sasano, I., 2012, Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Revised Selected Papers. p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7225 LNCS).

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

    11 Citations (Scopus)
  • Maximum marking problems with accumulative weight functions

    Sasano, I., Ogawa, M. & Hu, Z., 2005 Dec 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 562-578 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3722 LNCS).

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

    5 Citations (Scopus)
  • Server-Side Computation of Package Dependencies in Package-Management Systems

    Kasai, N. & Sasano, I., 2021, Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Proceedings. Oh, H. (ed.). Springer Science and Business Media Deutschland GmbH, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13008 LNCS).

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

  • Toward bidirectionalization of ATL with GRoundTram

    Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H. & Nakano, K., 2011, Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings. p. 138-151 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6707 LNCS).

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

    16 Citations (Scopus)