scientific article; zbMATH DE number 1617334

zbMATH Open0966.68055MaRDI QIDQ2722073FDOQ2722073

Authors: Francesca Scozzari 

Publication date: 11 July 2001

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (14)

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

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)