Browse "CS-Journal Papers(저널논문)" by Author Reus, Bernhard

Showing results 1 to 3 of 3

1
A Step-Indexed Kripke Model of Hidden State

Schwinghammer, Jan; Birkedal, Lars; Pottier, Francois; Reus, Bernhard; Stovring, Kristian; Yang, Hongseok, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v.23, no.1, pp.1 - 54, 2013-02

2
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

3
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

Discover

Type

Open Access

Date issued

. next

rss_1.0 rss_2.0 atom_1.0