XSB as the Natural Habitat for General Purpose Program Analysis

Michael Codish, Bart Demoen, Konstantinos F. Sagonas. XSB as the Natural Habitat for General Purpose Program Analysis. In ICLP. pages 416, 1997.

Abstract

Abstract is missing.