306 search results - page 34 / 62 » Underspecified computation of normal forms |
CONCUR
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
ALP
1994
Springer
13 years 11 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
CC
2003
Springer
14 years 25 days ago
2003
Springer
We define the Value State Dependence Graph (VSDG). The VSDG is a form of the Value Dependence Graph (VDG) extended by the addition of state dependence edges to model sequentialise...
DUX
2007
13 years 11 months ago
2007
Many researchers and practitioners in user experience design have turned towards social sciences to find ways to understand the social contexts in which both users and technologie...
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper introduces a novel method for surface reconstruction using the depth discontinuity information captured by a multi-flash camera while the object moves along a known tr...