331 search results - page 14 / 67 » HOLCF: Higher Order Logic of Computable Functions |
173
click to vote
LICS
2008
IEEE
16 years 7 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
153
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
157
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
The representation and modelling of regions is an important topic in computer vision. In this paper, we represent a region via a level set of a ‘phase field’ function. The fu...
162
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
Many of the current radiosity algorithms create a piecewise constant approximation to the actual radiosity. Through interpolation and extrapolation, a continuous solution is obtai...
156
click to vote
ERSHOV
2009
Springer
16 years 12 days ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...