545 search results - page 7 / 109 » Recursive logic frames |
155
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
172
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
172
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
255
Voted
LMCS
2006
15 years 5 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
187
Voted
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...