Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kameyama, Yukiyoshi
64  Ergebnisse:
Personensuche X
?
1

Program generation meets program verification: A case study..:

Masuda, Masahiro ; Kameyama, Yukiyoshi
Science of Computer Programming.  232 (2024)  - p. 103035 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Generating Programs for Polynomial Multiplication with Corr..:

, In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,
Tokuda, Ryo ; Kameyama, Yukiyoshi - p. 27-40 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Proceedings of the 21st ACM SIGPLAN International Conferenc..:

Scholz, Bernhard ; Kameyama, Yukiyoshi , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Unified Program Generation and Verification: A Case Study o..:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Masuda, Masahiro ; Kameyama, Yukiyoshi - p. 133-151 , 2022
Link: https://doi.org/10.1007/..
 
?
5

FFT Program Generation for Ring LWE-Based Cryptography:

, In: Advances in Information and Computer Security; Lecture Notes in Computer Science,
Masuda, Masahiro ; Kameyama, Yukiyoshi - p. 151-171 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Type-safe generation of modules in applicative and generati..:

, In: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,
Sato, Yuhi ; Kameyama, Yukiyoshi - p. 184-196 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Module generation without regret:

, In: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,
Sato, Yuhi ; Kameyama, Yukiyoshi ; Watanabe, Takahisa - p. 1-13 , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

One-Shot Algebraic Effects as Coroutines:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,
Kawahara, Satoru ; Kameyama, Yukiyoshi - p. 159-179 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Reorganizing queries with grouping:

, In: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,
Okura, Rui ; Kameyama, Yukiyoshi - p. 50-62 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Language-Integrated Query with Nested Data Structures and G..:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Okura, Rui ; Kameyama, Yukiyoshi - p. 139-158 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Staging with control: type-safe multi-stage programming wit..:

Oishi, Junpei ; Kameyama, Yukiyoshi
ACM SIGPLAN Notices.  52 (2017)  12 - p. 29-40 , 2017
Link: https://doi.org/10.1145/..
 
?
12

Staging with control: type-safe multi-stage programming wit..:

, In: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,
Oishi, Junpei ; Kameyama, Yukiyoshi - p. 29-40 , 2017
Link: https://dl.acm.org/doi/1..
 
?
13

Program generation for ML modules (short paper):

, In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,
Watanabe, Takahisa ; Kameyama, Yukiyoshi - p. 60-66 , 2017
Link: https://dl.acm.org/doi/1..
 
?
14

Finally, safely-extensible and efficient language-integrate..:

, In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,
Suzuki, Kenichi ; Kiselyov, Oleg ; Kameyama, Yukiyoshi - p. 37-48 , 2016
Link: https://dl.acm.org/doi/1..
 
?
15

Staging beyond terms: prospects and challenges:

, In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,
Inoue, Jun ; Kiselyov, Oleg ; Kameyama, Yukiyoshi - p. 103-108 , 2016
Link: https://dl.acm.org/doi/1..
 
1-15