Searching for "On the interaction between sharing and linearity" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Correct, Precise and Ecient Integration of Set-Sharing, Freeness and Linearity for the Analysis
- … exploiting the interaction between sharing and linearity. As a matter of fact, we provide an example showing…
- Cited by 2 (1 self) – Add To MetaCart
-
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity
- … exploiting the interaction between sharing and linearity. As a matter of fact, we provide an example showing…
- Cited by 3 (1 self) – Add To MetaCart
-
Under consideration for publication in Theory and Practice of Logic Programming 1 A Correct, Precise and Ecient Integration of
- … exploiting the interaction between sharing and linearity. As a matter of fact, we provide an example showing…
- Add To MetaCart
Showing 1 through 3.
