A Logic for Variable Aliasing in Logic Programs

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 decidable. Moreover, it is illustrated how this logic can be applied to automatize some parts of the reasoning when proving the partial correctness of a logic program.

• Type: Conference
• Year: 1994
• Where: ALP
• Authors: Elena Marchiori
• Keywords: ALP 1994, Automated Reasoning, Logic, Logic Program, Static Analysis