Proving Program Properties by Means of SLS-Resolution.

Jonathan M. Lever

Published in: ICLP (1991)

Keyphrases

high resolution
genetic algorithm
structural properties
desirable properties
real world
web services
high level
computer science