754 search results - page 81 / 151 » An Ordered Logic Program Solver |
228
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
216
Voted
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
108
click to vote
LFCS
1992
Springer
15 years 4 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...