| J.Krogstie, M.Matskin, J.Komorowski. Incorporating partial deduction into structural synthesis of programs, - 14 pp. Submitted to ESEC'95. |
....Technology, Stockholm (Prof. E. Tyugu) and Norwegian Institute of Technology, Trondheim (Prof. M. Matskin) Recent results have been considering the synthesis of parallel programs [30] graphical specifications [31] and partial deduction (combining deductive and transformational program synthesis) [16]. In addition to the study of program synthesis and implementation of the programming environment, several applications of the NUT system have been introduced for different problem domains: computer aided design, telecommunication, simulation, data bases and information systems, language ....
J.Krogstie, M.Matskin, J.Komorowski. Incorporating partial deduction into structural synthesis of programs, - 14 pp. Submitted to ESEC'95.
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