Search Results for 'typestate'

typestate published presentations and documents on DocSlides.

Program Tailoring: Slicing by Sequential Criteria

by jane-oiler

Yue Li. , . Tian. Tan, . Yifei. Zhang and Jingl...

Finding Optimum Abstractions in Parametric Dataflow Analysis

by natalia-silvester

Finding Optimum Abstractions in Parametric Datafl...