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

年別の研究成果

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

検索結果

  • Conference contribution

    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)
  • 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
  • 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)
  • 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)
  • 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. ICST, a13. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).

    研究成果: Conference contribution

    Open Access
  • 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).

    研究成果: Conference contribution

    29 被引用数 (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).

    研究成果: Conference contribution

    11 被引用数 (Scopus)
  • 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

    5 被引用数 (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).

    研究成果: Conference 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).

    研究成果: Conference contribution

    16 被引用数 (Scopus)