×

Found 3 Documents (Results 1–3)

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software