1083 search results - page 146 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
123
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
131
click to vote
KR
1998
Springer
15 years 6 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
245
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
220
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...