Browse "School of Computing(전산학부)" by Author Thamsborg, Jacob

Showing results 1 to 2 of 2

1
Step-Indexed Kripke Models over Recursive Worlds

Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Stovring, Kristian; Thamsborg, Jacob; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.1, pp.119 - 131, 2011-01

2
Two for the Price of One: Lifting Separation Logic Assertions

Thamsborg, Jacob; Birkedal, Lars; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.8, no.3, 2012

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0