The following pages link to Oukseh Lee (Q1603498):
Displaying 8 items.
- A proof method for the correctness of modularized 0CFA (Q1603499) (← links)
- Proofs of a set of hybrid let-polymorphic type inference algorithms (Q1762932) (← links)
- A divide-and-conquer approach for analysing overlaid data structures (Q2441710) (← links)
- Static insertion of safe and effective memory reuse commands into ML-like programs (Q2568450) (← links)
- Scalable Shape Analysis for Systems Code (Q3512506) (← links)
- (Q4813398) (← links)
- Programming Languages and Systems (Q5316560) (← links)
- A Practical String Analyzer by the Widening Approach (Q5385606) (← links)
