M.Harf, T.Uustalu. Structural Program Synthesis Using Reguler Data Structures. ESF Research Report. Tallinn. (to appear). Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Knowledge Based Software Techniques - Penjam, Tõugu, Kalja, Matskin.. Self-citation (Harf) (Correct)
....of the NUT system has been tested on several examples. 2. A correspondence between program synthesis on regular data structures and recursive (iterative) programs was detected and described. A modal logical justification of such correspondence has been formulated in cooperation with T. Uustalu [9]. 3. Principles and possibilities for automatic synthesis of while loops in the NUT system were outlined. Experimental implementation of while loops may be considered as a future work in this area. The techniques proposed here, allow to reduce the complexity of computational problems to the ....
M.Harf, T.Uustalu. Structural Program Synthesis Using Reguler Data Structures. ESF Research Report. Tallinn. (to appear).
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