4126 search results - page 198 / 826 » Set based logic programming |
128
Voted
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
159
click to vote
AI
2011
Springer
14 years 9 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
115
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
107
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
118
click to vote
SSR
2001
15 years 3 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...