899 search results - page 7 / 180 » Cost Analysis of Games, Using Program Logic |
141
click to vote
SE
2008
15 years 7 months ago
2008
: In many of today's application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnec...
158
Voted
AAAI
2000
15 years 7 months ago
2000
The game of Hex is a two-player game with simple rules, a deep underlying mathematical beauty, and a strategic complexity comparable to that of Chess and Go. The massive game-tree...
137
Voted
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...
170
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
130
Voted
CORR
2000
Springer
15 years 5 months ago
2000
Springer
