Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Isao Sasano"'
Autor:
Isao Sasano, Kwanghoon Choi
Publikováno v:
Science of Computer Programming. 228:102957
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e86c7ca43787133dea570d4e7a4d9908
https://doi.org/10.1016/j.scico.2023.102957
https://doi.org/10.1016/j.scico.2023.102957
Publikováno v:
International Journal of Future Computer and Communication. 8:50-54
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1759bf909ebe21bbc35cfa2b13954876
https://doi.org/10.18178/ijfcc.2019.8.2.539
https://doi.org/10.18178/ijfcc.2019.8.2.539
Autor:
Kwanghoon Choi, Isao Sasano
Publikováno v:
PEPM@POPL
This paper presents a text-based syntax completion method using an LR parser. We propose formal definitions of candidate text to be completed based on the sentential forms, and we design algorithms for computing candidates through reductions in the L
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53b01b21c407560bcf33f801c0033c7a
https://doi.org/10.1145/3441296.3441395
https://doi.org/10.1145/3441296.3441395
Autor:
Nobuhiro Kasai, Isao Sasano
Publikováno v:
Programming Languages and Systems ISBN: 9783030890506
Package managers are often used in recent software development to obtain directly-dependent packages recursively. Typically, package managers make requests to the package registry more than once when computing indirect dependencies. Moreover, much am
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::184e8ad30390b4c9edf5acf2591fed3e
https://doi.org/10.1007/978-3-030-89051-3_5
https://doi.org/10.1007/978-3-030-89051-3_5
Autor:
Isao Sasano
Publikováno v:
PEPM@POPL
The integrated development environments provide several types of functionalities. Herein, we intend to generate a syntax completion functionality from the grammar of the target language as long as the sentences of the language can be analyzed via LR
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edbb09ac7490ac063004c08242b3d706
https://doi.org/10.1145/3372884.3373158
https://doi.org/10.1145/3372884.3373158
Publikováno v:
Journal of Computer and Communications. :12-20
This article discusses improvements in a puzzle authentication method that adopts the interface of the Puzzle and Dragons game [1] and is tolerant against video-recording attacks. A problem that the conventional puzzle authentication methods face is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb656959f47d17985985492548335d00
https://doi.org/10.4236/jcc.2018.61002
https://doi.org/10.4236/jcc.2018.61002
Publikováno v:
Journal of Advances in Technology and Engineering Research. 5
At present, numerous people watch prerecorded TV programs as daily leisure. Concerning soap operas or sports, the viewers may not want to be informed about the results before watching the programs; however, they may check tweets on devices, such as s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94d9bb2a07821a8b46bfc659d107f2ef
https://doi.org/10.20474/jater-5.5.4
https://doi.org/10.20474/jater-5.5.4
Publikováno v:
PPDP
We present a framework for proving inductive theorems of first-order equational theories, using techniques of implicit induction developed in the field of term rewriting. In this framework, we make use of automated confluence provers, which have rece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86bc77ff81d9f4a88072d5bf406d03c3
https://doi.org/10.1145/3354166.3354178
https://doi.org/10.1145/3354166.3354178
Autor:
Tsubasa Matsushita, Isao Sasano
Publikováno v:
PEPM
Code clones are pairs or groups of code segments which are identical or similar to each other. Generally the existence of code clones is considered to make it cumbersome to maintain the source code, so that various kinds of code clone detection tools
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::453d81d3ccb78d29f7c4e95d62badf22
https://doi.org/10.1145/3018882.3018892
https://doi.org/10.1145/3018882.3018892
Autor:
Isao Sasano
Publikováno v:
BICT
Buffer overflow is a serious problem when the software is run as a server on the internet. Especially when the return addresses are overwritten intentionally, the control flow may be changed as the attacker intends. Although there have been proposed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df7c622076fc1bc4e02cd4cb29f26462
https://doi.org/10.4108/eai.3-12-2015.2262495
https://doi.org/10.4108/eai.3-12-2015.2262495