Static Analysis to Identify Vectorizable Numerical Domain in Logic Programs for Efficient Execution of Scientific Expert Systems

Arvind K. Bansal, Dilip S. Poduval. Static Analysis to Identify Vectorizable Numerical Domain in Logic Programs for Efficient Execution of Scientific Expert Systems. In SCAI. pages 193-204, 1991.

Abstract

Abstract is missing.