8228 search results - page 127 / 1646 » Structural Logical Relations |
JSYML
2007
13 years 10 months ago
2007
IANDC
2000
13 years 10 months ago
2000
MPC
2000
Springer
14 years 1 months ago
2000
Springer
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
ACL
1990
13 years 11 months ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...
APAL
2004
13 years 10 months ago
2004
The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give super-exponential lower...