J.Krogstie, M.Matskin, J.Komorowski. Incorporating partial deduction into structural synthesis of programs, - 14 pp. Submitted to ESEC'95.

 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 (Matskin)   (Correct)

....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