scientific article; zbMATH DE number 1617334
From MaRDI portal
Publication:2722073
zbMATH Open0966.68055MaRDI QIDQ2722073FDOQ2722073
Authors: Francesca Scozzari
Publication date: 11 July 2001
Title of this publication is not available (Why is that?)
Recommendations
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)