1083 search results - page 152 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
132
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
103
click to vote
SAS
2007
Springer
15 years 8 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...
132
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
132
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...