共 50 条
- [41] Types from control flow analysis PROGRAM ANALYSIS AND COMPILATION, THEORY AND PRACTICE: ESSAYS DEDICATED TO REINHARD WILHELM ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4444 : 293 - +
- [46] Polyvariant flow analysis with constrained types PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, 1782 : 382 - 396
- [50] Optimal Power Flow with Limited and Discrete Controls 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT), 2015,