899 search results - page 71 / 180 » Cost Analysis of Games, Using Program Logic |
110
click to vote
EPIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...
122
click to vote
WFLP
2009
Springer
15 years 6 months ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
80
Voted
ACSC
2009
IEEE
15 years 6 months ago
2009
IEEE
The Python programming language is typical among dynamic languages in that programs written in it are not susceptible to static analysis. This makes efficient static program compi...