Fingerprint
Dive into the research topics where Eijiro Sumii is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Recipients' introduction to research awarded at the 37th JSSST annual conference
Sumii, E., 2021, In: Computer Software. 38, 2, p. 5-13 9 p.Research output: Contribution to journal › Article › peer-review
-
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Citations (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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Citation (Scopus) -
Formal verification of functional programs performing infinite input/output
Mizuno, M. & Sumii, E., 2017 May, In: Computer Software. 34, 2, p. 114-119 6 p.Research output: Contribution to journal › Article › peer-review
-
Specialization of generic array accesses after inlining (system description)
Tokuda, R., Sumii, E. & Abe, A., 2017 Feb 7, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 241, p. 45-53 9 p.Research output: Contribution to journal › Conference article › peer-review
Open Access