1664 search results - page 56 / 333 » Towards Partial Reasoning |
88
Voted
MSCS
2007
15 years 7 days ago
2007
ction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of...
101
Voted
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
99
Voted
ALP
1994
Springer
15 years 4 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
127
click to vote
HEURISTICS
2006
15 years 22 days ago
2006
Representing and reasoning with an agent's preferences is important in many applications of constraints formalisms. Such preferences are often only partially ordered. One clas...
93
Voted
CC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...