Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code

Ryutaro Kodama, Yoshitaka Arahori, Kathuhiko Gondow

Precise and fast static type analysis for dynamically typed language is very difficult. This is mainly because the lack of static type information makes it difficult to approximate…