1144 search results - page 136 / 229 » Logic programming for combinatorial problems |
108
Voted
PASTE
2010
ACM
15 years 27 days ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
119
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
130
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
120
click to vote
MPC
1995
Springer
15 years 6 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
165
Voted
CLIMA
2006
15 years 3 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...