Jouannaud, Jean-Pierre et al. "SISP/1 An Interactive System Able to Synthesize Functions from Examples". Proc. of IJCAI-77 (1977), 412-418. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On Automatically Generating and Using Examples in a Computational.. - Kim (Correct)
....of example representation and evaluation can be easily solved 6 . EGS can share with the Boyer Moore theorem prover a substantial portion of its reasoning capability and knowledge base. The theorem proving environment serves as a rich source of problems for the application of examples [19, 40, 47, 29, 30]. We assume that the reader is familiar with the Boyer Moore theory; those who are not familiar to the theory should refer to Boyer and Moore [5, 6] In this chapter we sketch the Boyer Moore theorem prover; our example generation system shares several facilities with the theorem prover and our ....
Jouannaud, Jean-Pierre et al. "SISP/1 An Interactive System Able to Synthesize Functions from Examples". Proc. of IJCAI-77 (1977), 412-418.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC