Logic Program Testing Based on Abstract Interpretation

Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{Lu1993LogicPT, title={Logic Program Testing Based on Abstract Interpretation}, author={Lunjin Lu and Peter Greenfield}, booktitle={Formal Methods in Programming and Their Applications}, year={1993} }