3573 search results - page 313 / 715 » Reasoning about Codata |
150
click to vote
POPL
2012
ACM
14 years 12 days ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
119
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
182
click to vote
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
186
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
138
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
We present an approach for tracking varying number of objects through both temporally and spatially significant occlusions. Our method builds on the idea of object permanence to r...