Browse by Subject program verification

Showing results 1 to 2 of 2

1
Goal-directed Weakening of Abstract Interpretation Results

Seo, Sunae; Yang, Hongseokresearcher; Yi, Kwangkeun; Han, Taisookresearcher, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.29, no.10, 2007-10

2
Relational Separation Logic

Yang, Hongseokresearcher, THEORETICAL COMPUTER SCIENCE, v.375, no.1-3, pp.308 - 334, 2007-05

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0