Masuda, Masahiro; Kameyama, Yukiyoshi Unified program generation and verification: a case study on number-theoretic transform. (English) Zbl 07570118 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 133-151 (2022). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Masuda} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 13215, 133--151 (2022; Zbl 07570118) Full Text: DOI
Okura, Rui; Kameyama, Yukiyoshi Language-integrated query with nested data structures and grouping. (English) Zbl 07368089 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 139-158 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{R. Okura} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 12073, 139--158 (2020; Zbl 07368089) Full Text: DOI
Kameyama, Yukiyoshi; Kiselyov, Oleg; Shan, Chung-Chieh Shifting the stage. Staging with delimited control. (English) Zbl 1248.68132 J. Funct. Program. 21, No. 6, 617-662 (2011). MSC: 68N18 68N20 PDFBibTeX XMLCite \textit{Y. Kameyama} et al., J. Funct. Program. 21, No. 6, 617--662 (2011; Zbl 1248.68132) Full Text: DOI