フォロー
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
672007
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
512000
Toward bidirectionalization of ATL with GRoundTram
I Sasano, Z Hu, S Hidaka, K Inaba, H Kato, K Nakano
Theory and Practice of Model Transformations: 4th International Conference …, 2011
282011
Marker-directed optimization of uncal graph transformations
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano
Logic-Based Program Synthesis and Transformation: 21st International …, 2012
182012
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
182001
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
Maximum marking problems with accumulative weight functions
I Sasano, M Ogawa, Z Hu
Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005
112005
Iterative-free program analysis
M Ogawa, Z Hu, I Sasano
ACM SIGPLAN Notices 38 (9), 111-123, 2003
112003
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
52021
An approach to completing variable names for implicitly typed functional languages
I Sasano, T Goto
Higher-Order and Symbolic Computation 25, 127-163, 2012
52012
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
Toward modular implementation of practical identifier completion on incomplete program text
I Sasano
Proceedings of the 8th International Conference on Bioinspired Information …, 2014
42014
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
Derivation of a Linear Algorithm for Mining Optimized Gain Association Rules.
篠埜功, 胡振江, 武市正人, 小川瑞史
コンピュータ ソフトウェア 19 (4), 283-288, 2002
42002
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
32019
Improvements in a Puzzle Authentication Method
Y Hirakawa
Journal of Computer and Communications 6 (01), 12, 2018
32018
A tool for visualizing buffer overflow with detecting return address overwriting
I Sasano
Proceedings of the 9th EAI International Conference on Bio-inspired …, 2016
32016
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
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
22020
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20