Showing results 1 to 2 of 2
Goal-directed Weakening of Abstract Interpretation Results Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun; Han, Taisook, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.29, no.10, 2007-10 |
Relational Separation Logic Yang, Hongseok, THEORETICAL COMPUTER SCIENCE, v.375, no.1-3, pp.308 - 334, 2007-05 |
Discover