899 search results - page 136 / 180 » Cost Analysis of Games, Using Program Logic |
131
click to vote
KBSE
2010
IEEE
14 years 12 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
134
click to vote
ENTCS
2007
15 years 1 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...
102
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
113
click to vote
PVLDB
2010
14 years 12 months ago
2010
Commercial databases compete for market share, which is composed of not only net-new sales to those purchasing a database for the first time, but also competitive “win-backs”...
SIGDOC
2005
ACM
15 years 7 months ago
2005
ACM
Software engineering has been striving for years to improve the practice of software development and maintenance. Documentation has long been prominent on the list of recommended ...