3994 search results - page 585 / 799 » A Linear Logical Framework |
184
click to vote
FM
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
200
click to vote
COOPIS
2002
IEEE
16 years 3 days ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
179
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
194
click to vote
PLILP
1992
Springer
15 years 11 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
178
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...