9626 search results - page 392 / 1926 » Invariant Based Programming |
154
click to vote
LPNMR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
179
click to vote
METRICS
1999
IEEE
15 years 11 months ago
1999
IEEE
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...
182
click to vote
DLS
2005
15 years 8 months ago
2005
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
200
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
186
Voted
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...