Path Dependent Analysis of Logic Programs: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation
Author： Lu Lunjin
Publisher： Springer Publishing Company
ISSN： 1388-3690
Source： LISP and Symbolic Computation, Vol.16, Iss.4, 2003-12, pp. : 341-377
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
