Browse "School of Computing(전산학부)" by Subject Hoare logic

Showing results 1 to 1 of 1

1
Nested Hoare Triples and Frame Rule for Higher-order Store

Schwinghammer, Jan; Birkedal, Lars; Reus, Bernhard; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.7, no.3, 2011

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0