Zobrazeno 1 - 10
of 49
pro vyhledávání: '"KENICHI ASAI"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
In their paper "A Functional Abstraction of Typed Contexts", Danvy and Filinski show how to derive a monomorphic type system of the shift and reset operators from a CPS semantics. In this paper, we show how this method scales to Felleisen's control a
Externí odkaz:
https://doaj.org/article/5f28fc0eef614b2c96faa94229bec417
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 295, Iss Proc. TFPIE 2018, Pp 17-34 (2019)
Steppers, which display all the reduction steps of a given program, are a novice-friendly tool for understanding program behavior. Unfortunately, steppers are not as popular as they ought to be; indeed, the tool is only available in the pedagogical l
Externí odkaz:
https://doaj.org/article/b901a66091d349e6a66eb598683d0ef7
Autor:
Yuki Ishii, Kenichi Asai
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 170, Iss Proc. TFPIE 2014, Pp 1-18 (2014)
A type debugger interactively detects the expressions that cause type errors. It asks users whether they intend the types of identifiers to be those that the compiler inferred. However, it seems that novice programmers often get in trouble when they
Externí odkaz:
https://doaj.org/article/2734f7166ab14ead98affd492c0db3d7
Autor:
Chiaki Ishio, Kenichi Asai
The operational behavior of control operators has been studied comprehensively in the past few decades, but type systems of control operators have not. There are distinct type systems for shift, control, and shift0 without any relationship between th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19c4bf7fdd79913a2b1028b99ced9cee
http://arxiv.org/abs/2305.02852
http://arxiv.org/abs/2305.02852
Autor:
Youyou Cong, Kenichi Asai
Publikováno v:
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation.
Publikováno v:
Geoinformatics. 32:65-77
Publikováno v:
Geoinformatics. 31:105-117
Autor:
Youyou Cong, Kenichi Asai
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031213137
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e73b0d143128421eacc2e45ba4c5a61
https://doi.org/10.1007/978-3-031-21314-4_4
https://doi.org/10.1007/978-3-031-21314-4_4
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 295, Iss Proc. TFPIE 2018, Pp 17-34 (2019)
Steppers, which display all the reduction steps of a given program, are a novice-friendly tool for understanding program behavior. Unfortunately, steppers are not as popular as they ought to be; indeed, the tool is only available in the pedagogical l
Autor:
Kenichi Asai, Chiaki Ishio
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030471460
TFP
TFP
A selective CPS transformation enables us to execute a program with delimited control operators, \(\texttt {shift}\) and \(\texttt {reset}\), in a standard functional language without support for control operators. The selective CPS transformation di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4efcde1c631b96225a1c5df7a8bd1790
https://doi.org/10.1007/978-3-030-47147-7_3
https://doi.org/10.1007/978-3-030-47147-7_3