• DocumentCode
    1448762
  • Title

    Predicate-formation for synthesizing LISP code

  • Author

    Kamani, M.K. ; Ramakrishna, R.S.

  • Author_Institution
    Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
  • Volume
    20
  • Issue
    2
  • fYear
    1990
  • Firstpage
    530
  • Lastpage
    533
  • Abstract
    A novel technique for predicate-formation is given. It is useful for generation of LISP programs from the I/O examples. The top-level elements of I/O lists can be atoms or lists of arbitrary structure, and can be put into two groups, on which different actions are taking place. The predicate generated yields true for elements of one group, while false for other elements. The technique is mainly useful in generating branching code
  • Keywords
    LISP; automatic programming; I/O lists; LISP program generation; automatic programming; branching code; predicate-formation; Automatic programming; Computer science; Induction generators; Production;
  • fLanguage
    English
  • Journal_Title
    Systems, Man and Cybernetics, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9472
  • Type

    jour

  • DOI
    10.1109/21.52565
  • Filename
    52565
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1448762