A logic for variable aliasing in logic programs

DOI10.1007/3-540-58431-5_20MaRDI QIDQ4537520zbMATH OpenFDO

Authors Elena Marchiori

Publication date 1 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58431-5_20

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• A first-order language for expressing aliasing and type properties of logic programs
• A Characterization of Strong Equivalence for Logic Programs with Variables
• scientific article; zbMATH DE number 978245
• scientific article; zbMATH DE number 3935012
• scientific article; zbMATH DE number 4018389
• Auxiliary variables in partial correctness programming logics
• Extending Logic Programming with Labelled Variables: Model and Semantics
• A methodology for detecting shared variable dependencies in logic programs
• Overlapping Rules and Logic Variables in Functional Logic Programs
• scientific article; zbMATH DE number 3845549

Cited in

(11)

• A first-order language for expressing sharing and type properties of logic programs
• Design of abstract domains using first-order logic
• Variables as resource in separation logic
• A logical analysis of aliasing in imperative higher-order functions
• Compile—time detection of aliasing in euclid programs
• Expression-Based Aliasing for OO–languages
• A first-order language for expressing aliasing and type properties of logic programs
• Assertion based inductive verification methods for logic programs
• A logical analysis of aliasing in imperative higher-order functions
• a-logic with arrows
• Static Analysis

This page was built for publication: A logic for variable aliasing in logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537520)