• 出典: Scopus
  • Pureの文献数とScopusの被引用数に基づいて算出されます
20002021

年別の研究成果

Pureに変更を加えた場合、すぐここに表示されます。
フィルター
Conference contribution

検索結果

  • 2021

    A text-based syntax completion method using LR parsing

    Sasano, I. & Choi, K., 2021 1 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).

    研究成果: Conference contribution

    Open Access
  • 2020

    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. (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).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • 2019

    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

    Open Access
    2 被引用数 (Scopus)
  • 2017

    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. 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).

    研究成果: Conference contribution

    8 被引用数 (Scopus)
  • 2012

    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).

    研究成果: Conference contribution

    11 被引用数 (Scopus)
  • 2011

    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).

    研究成果: Conference contribution

    16 被引用数 (Scopus)
  • 2007

    Lightweight fusion by fixed point promotion

    Ohori, A. & Sasano, I., 2007 9 3, 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).

    研究成果: Conference contribution

    25 被引用数 (Scopus)
  • 2005

    Maximum marking problems with accumulative weight functions

    Sasano, I., Ogawa, M. & Hu, Z., 2005 12 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).

    研究成果: Conference contribution

    4 被引用数 (Scopus)
  • 2001

    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).

    研究成果: Conference contribution

    8 被引用数 (Scopus)