年別の研究成果
年別の研究成果
フィンガープリント
Eijiro Sumiiが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
-
Recipients' introduction to research awarded at the 37th JSSST annual conference
Sumii, E., 2021, In: Computer Software. 38, 2, p. 5-13 9 p.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
-
Formal verifications of call-by-need and call-by-name evaluations with mutual recursion
Mizuno, M. & Sumii, E., 2019, Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Proceedings. Lin, A. W. (ed.). Springer, p. 181-201 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11893 LNCS).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
2 被引用数 (Scopus) -
Formal verification of the correspondence between call-by-need and call-by-name
Mizuno, M. & Sumii, E., 2018, Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Proceedings. Gallagher, J. P., Sulzmann, M. & Gallagher, J. P. (eds.). Springer Verlag, p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10818 LNCS).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
1 被引用数 (Scopus) -
Formal verification of functional programs performing infinite input/output
Mizuno, M. & Sumii, E., 2017 5月, In: Computer Software. 34, 2, p. 114-119 6 p.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
-
Specialization of generic array accesses after inlining (system description)
Tokuda, R., Sumii, E. & Abe, A., 2017 2月 7, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 241, p. 45-53 9 p.研究成果: ジャーナルへの寄稿 › 会議記事 › 査読
Open Access