796 search results - page 70 / 160 » An Overview of Separation Logic |
118
click to vote
CIARP
2009
Springer
15 years 7 months ago
2009
Springer
This paper gives an overview of works done in our group on 3D and appearance modeling of objects, from images. The backbone of our approach is to use what we consider as the princi...
106
Voted
ICS
2001
Tsinghua U.
15 years 5 months ago
2001
Tsinghua U.
A large logical register file is important to allow effective compiler transformations or to provide a windowed space of registers to allow fast function calls. Unfortunately, a l...
134
click to vote
MPC
2010
Springer
15 years 2 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
215
Voted
POPL
2006
ACM
16 years 29 days ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
114
click to vote
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...