|
|
Matthew Huntbach
This paper describes our system without using logic programming terminology. It also indicates how we see this system becoming part of a collection of tools to provide automated assistance to the computer programmer.
This paper is not available online