18 search results - page 4 / 4 » Partial Evaluation for Hierarchies of Logic Theories |
PLDI
2009
ACM
14 years 7 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
ICSE
2011
IEEE-ACM
12 years 9 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
PKDD
1999
Springer
13 years 9 months ago
1999
Springer
When mining a large database, the number of patterns discovered can easily exceed the capabilities of a human user to identify interesting results. To address this problem, variou...