Isao Sasano

According to our database, Isao Sasano authored at least 17 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A text-based syntax completion method using LR parsing and its evaluation.

Isao Sasano, Kwanghoon Choi

Sci. Comput. Program., June, 2023

2021

A text-based syntax completion method using LR parsing.

Isao Sasano, Kwanghoon Choi

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2021

Server-Side Computation of Package Dependencies in Package-Management Systems.

Nobuhiro Kasai, Isao Sasano

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

An approach to generate text-based IDEs for syntax completion based on syntax specification.

Isao Sasano

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2020

2019

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation.

Kentaro Kikuchi, Takahito Aoto, Isao Sasano

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017

Detecting code clones with gaps by function applications.

Tsubasa Matsushita, Isao Sasano

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

2016

A Tool for Visualizing Buffer Overflow with Detecting Return Address Overwriting.

Isao Sasano

EAI Endorsed Trans. Self Adapt. Syst., 2016

2014

Toward Modular Implementation of Practical Identifier Completion on Incomplete Program Text.

Isao Sasano

Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

2012

An approach to completing variable names for implicitly typed functional languages.

Isao Sasano, Takumi Goto

High. Order Symb. Comput., 2012

2011

Marker-Directed Optimization of UnCAL Graph Transformations.

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Toward Bidirectionalization of ATL with GRoundTram.

Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

Proceedings of the Theory and Practice of Model Transformations, 2011

2007

Lightweight fusion by fixed point promotion.

Atsushi Ohori, Isao Sasano

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2005

Maximum Marking Problems with Accumulative Weight Functions.

Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu

Proceedings of the Theoretical Aspects of Computing, 2005

2003

Iterative-free program analysis.

Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.

Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Generation of Efficient Programs for Solving Maximum Multi-marking Problems.

Isao Sasano, Zhenjiang Hu, Masato Takeichi

Proceedings of the Semantics, 2001

2000

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.

Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000