Accurate and Efficient Approximation of Variable Aliasing in Logic Programs.

Dean Jacobs, Anno Langen

1989 · 114 citations · 0 references

Concepts