scientific article; zbMATH DE number 1761902
From MaRDI portal
Publication:4537520
zbMATH Open0988.68506MaRDI QIDQ4537520FDOQ4537520
Authors: Elena Marchiori 
Publication date: 1 July 2002
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1222406
- A Characterization of Strong Equivalence for Logic Programs with Variables
- scientific article; zbMATH DE number 978245
- scientific article; zbMATH DE number 3935012
- Publication:3030254
- 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 (10)
- Expression-Based Aliasing for OO–languages
- A first-order language for expressing sharing and type properties of logic programs
- A logical analysis of aliasing in imperative higher-order functions
- Compile—time detection of aliasing in euclid programs
- \(a\)-logic with arrows
- A logical analysis of aliasing in imperative higher-order functions
- Assertion based inductive verification methods for logic programs
- Static Analysis
- Variables as resource in separation logic
- Design of abstract domains using first-order logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537520)
