1461 search results - page 42 / 293 » Analysis of Constraint Logic Programs |
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
ESOP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
ENTCS
2010
14 years 9 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
ICLP
2007
Springer
15 years 3 months ago
2007
Springer