Showing results 1 to 3 of 3
Off-line slicing of abstract interpretation results for automatic construction of economical program proofs = 요약해석 결과의 오프라인 가지치기를 이용한 프로그램 증명의 경제적인 자동 생성link Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2007 |
Relational Parametricity and Separation Logic Birkedal, Lars; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.4, no.2, 2008 |
Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.2, no.5, 2006-11 |
Discover