scientific article; zbMATH DE number 1617334

MaRDI QIDQ2722073zbMATHFDO

Authors Francesca Scozzari

Publication date 11 July 2001

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Optimality in goal-dependent analysis of Sharing
• On the interaction between sharing and linearity
• Enhanced sharing analysis techniques: a comprehensive evaluation
• A general framework for variable aliasing: towards optimal operators for sharing properties
• scientific article; zbMATH DE number 1692904

Cited in

(15)

• Optimality in goal-dependent analysis of Sharing
• On the interaction between sharing and linearity
• An abstract view on syntax with sharing
• Optimal multibinding unification for sharing and linearity analysis
• Structure sharing for quantified terms: Fundamentals
• Sharing ghost variables in a collection of abstract domains
• Collapsing Closures
• Finite-tree analysis for constraint logic-based languages
• A general framework for variable aliasing: towards optimal operators for sharing properties
• Pair-independence and freeness analysis through linear refinement.
• scientific article; zbMATH DE number 7205326 (Why is no real title available?)
• Logical optimality of groundness analysis
• Enhanced sharing analysis techniques: a comprehensive evaluation
• Decomposing non-redundant sharing by complementation
• scientific article; zbMATH DE number 1692904 (Why is no real title available?)

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 Q2722073)