Obserwuj
Isao Sasano
Isao Sasano
Zweryfikowany adres z sic.shibaura-it.ac.jp - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Lightweight fusion by fixed point promotion
A Ohori, I Sasano
ACM SIGPLAN Notices 42 (1), 143-154, 2007
652007
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
522000
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
Generation of efficient programs for solving maximum multi-marking problems
I Sasano, Z Hu, M Takeichi
Semantics, Applications, and Implementation of Program Generation: Second …, 2001
202001
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
172012
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
122005
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, 127-163, 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
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
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20