4719 search results - page 85 / 944 » Newtonian program analysis |
PLDI
1990
ACM
14 years 1 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
JAR
2008
13 years 9 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
SLP
1990
13 years 10 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
POPL
1996
ACM
14 years 1 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
EOR
2007
13 years 9 months ago
2007
This paper uses dynamic programming to investigate when contestants should use lifelines or when they should just stop answering in the TV quiz show ‘Who wants to be a millionai...