フォロー
Isao Sasano
Isao Sasano
確認したメール アドレス: sic.shibaura-it.ac.jp - ホームページ
タイトル
引用先
引用先
Lightweight fusion by fixed point promotion
A Ohori, I Sasano
ACM SIGPLAN Notices 42 (1), 143-154, 2007
632007
Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems
I Sasano, Z Hu, M Takeichi, M Ogawa
ACM SIGPLAN Notices 35 (9), 137-149, 2000
532000
Toward bidirectionalization of ATL with GRoundTram
I Sasano, Z Hu, S Hidaka, K Inaba, H Kato, K Nakano
International Conference on Theory and Practice of Model Transformations …, 2011
302011
Generation of efficient programs for solving maximum multi-marking problems
I Sasano, Z Hu, M Takeichi
International Workshop on Semantics, Applications, and Implementation of …, 2001
202001
Marker-directed optimization of uncal graph transformations
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano
International Symposium on Logic-Based Program Synthesis and Transformation …, 2011
172011
Maximum marking problems with accumulative weight functions
I Sasano, M Ogawa, Z Hu
International Colloquium on Theoretical Aspects of Computing, 562-578, 2005
132005
Detecting code clones with gaps by function applications
T Matsushita, I Sasano
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and …, 2017
122017
Iterative-free program analysis
M Ogawa, Z Hu, I Sasano
ACM SIGPLAN Notices 38 (9), 111-123, 2003
102003
Inductive theorem proving in non-terminating rewriting systems and its application to program transformation
K Kikuchi, T Aoto, I Sasano
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
42019
Agent Control in Multiagent Systems: Reinforcement Learning of Weight Parameters in Particle Swarm Optimization
H Igarashi, M Handa, S Ishihara, I Sasano
The Research Reports of Shibaura Institute of Technology, Natural Sciences …, 2012
42012
An approach to completing variable names for implicitly typed functional languages
I Sasano, T Goto
Higher-Order and Symbolic Computation 25 (1), 127-163, 2012
42012
Derivation of a Linear Algorithm for Mining Optimized Gain Association Rules.
篠埜功, 胡振江, 武市正人, 小川瑞史
コンピュータ ソフトウェア 19 (4), 283-288, 2002
42002
Toward modular implementation of practical identifier completion on incomplete program text
I Sasano
Proceedings of the 8th International Conference on Bioinspired Information …, 2014
32014
An approach to completing variable names for implicitly typed functional languages
T Goto, I Sasano
Proceedings of the ACM SIGPLAN 2012 workshop on Partial Evaluation and …, 2012
32012
A text-based syntax completion method using LR parsing
I Sasano, K Choi
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and …, 2021
22021
Pvrotate: An improved vibration-based user authentication method
Y Hirakawa, F Hirose, I Sasano
International Journal of Future Computer and Communication 8 (2), 50-54, 2019
22019
A tool for visualizing buffer overflow with detecting return address overwriting
I Sasano
Proceedings of the 9th EAI International Conference on Bio-inspired …, 2016
22016
Marker-directed Optimization of UnCAL Graph Transformations (revised version)
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano
Technical Report GRACE-TR-2011-06, GRACE Center, National Institute of …, 2011
22011
Generating comprehension checking problems using mutation analysis compensating for shakyo-style learning defects: A case study on binary operators with evaluating its …
R Kamei, T Yoshizuka, I Sasano, S Komiya
Computer Software 38 (1), 111-139, 2021
12021
An approach to generate text-based IDEs for syntax completion based on syntax specification
I Sasano
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and …, 2020
12020
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20