External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Abstract Interpretation Scheme for Groundedness, Freeness, and Sharing Analysis of Logic Programs

Renganathan Sundararajan, John S. Conery. An Abstract Interpretation Scheme for Groundedness, Freeness, and Sharing Analysis of Logic Programs. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings. Volume 652 of Lecture Notes in Computer Science, pages 203-216, Springer, 1992.

Bibliographies

    runs on