Search Results for 'Typestate'

Typestate published presentations and documents on DocSlides.

Finding Optimum Abstractions in Parametric Dataflow Analysis

by natalia-silvester

Finding Optimum Abstractions in Parametric Datafl...

Program Tailoring: Slicing by Sequential Criteria

by jane-oiler

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