9626 search results - page 346 / 1926 » Invariant Based Programming |
169
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
177
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
163
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
198
click to vote
HIS
2008
15 years 8 months ago
2008
This paper introduces a multiobjective grammar based genetic programming algorithm to solve a Web Mining problem from multiple instance perspective. This algorithm, called MOG3P-MI...
190
click to vote
FAC
2010
15 years 4 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...