1534 search results - page 2 / 307 » Error Reporting Logic |
146
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
121
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
132
click to vote
ENTCS
2008
15 years 2 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
140
click to vote
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
105
Voted
HUC
2004
Springer
15 years 8 months ago
2004
Springer
We present a study of people’s use of positional information as part of a collaborative location-based game. The game exploits self-reported positioning in which mobile players m...