Strategies of structural synthesis of programs and its extensions

Computing and Informatics

Volumn 20, Issue 1, 2000, Pages 1-25

  Matskin, Mihhail ^a   Tyugu, Enn ^b  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Program construction; Proof search startegies; Structural synthesis of programs

Indexed keywords

EID: 0347269217     PISSN: 13359150     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (20)

1. DIKOVSKY, A.: Solving algorithmic problems of synthesis of programs without loops in linear time. System Programming and Computer Software, Vol. 3, 1985, pp. 38-49.
2. KLEENE, S.: Introduction to metamathematics. Amsterdam, North-Holland, 1952.
3. KOMOROWSKI, J.: A Prolegomenon to partial deduction. Fundamenta Informaticae, Vol. 18, 1993, No. 1, pp. 41-64.
4. LÄMMERMANN, S.: Automated composition of Java software (Lic. Thesis). TRITA-IT AVH 00:03, ISSN 1403-5286, Teleinformatics/KTH, Stockholm, 2000.
5. LLOYD, J. W.: Foundations of logic programming. Springer Verlag, second edition, 1987.
6. LLOYD, J. W. - SHEPHERDSON, J. C.: Partial evaluation in logic programming. Journal of Logic Programming, Vol. 11, 1991, pp. 217-242; also Technical Report CS-87-09 (revised 1989), University of Bristol, England, July 1989.
7. LLOYD, J. W. - SHEPHERDSON, J. C.: Partial evaluation in logic programming. Journal of Logic Programming, Vol. 11, 1991, pp. 217-242; also Technical Report CS-87-09 (revised 1989), University of Bristol, England, July 1989.
8. LOWRY, M. R. - MCCARTNEY, R. D. (eds.): Automating Software Design. California, USA, 1991. The MIT Press.
9. MANNA, Z. - WALDINGER, R.: A Deductive approach to program synthesis. ACM Trans. on Programming Languages and Systems, Vol. 2, Jan, 1980, No. 1, pp. 294-327,
10. MATSKIN, M. - KOMOROWSKI, J.: Partial Structural Synthesis of Programs. Fundamenta Informaticae, IOS Press, Vol. 31, 1997, pp. 125-144.
11. MINTS, G. - TYUGU, E.: Justification of structural synthesis of programs. Science of Computer Programming, Vol. 2, 1982, No. 3, pp. 215-240.
12. MINTS, G.: Prepositional Logic Programming. In Machine Intelligence (J. Hayes, D. Michie, E. Tyugu, eds.), V. 12, p. 17-37. Clarendon Press, 1991.
13. PAHAPILL, J.: Programmpaket zur Modelierung der hydromachinen Systeme. Vol. 6, pp. 609-617, Fachtagung Hydraulik und Pneumatik, Magdeburg, 1985.
14. TYUGU, E.: Knowledge-Based Programming. Addisson-Wesley and Turing Institute Press, 1988.
15. TYUGU, E.: Three new-generation software environments. Communications of the ACM, Vol. 34, June 1991, No. 6, pp. 46-59.
16. TYUGU, E.: Classes as program specifications in NUT. Journal of Automated Software Engineering, Vol. 1, 1996, pp. 315-334.
17. TYUGU, E. - MATSKIN, M. - PENJAM, J.: Applications of Structural Synthesis of Programs. In FM99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems (J. Wing, J. Woodcock, J. Davies, eds.), Toulouse, France, Sept. 1999. Proc. Vol. I, Lecture Notes in Computer Science (LNCS) 1708, pp. 551-569. Springer, 1999.
18. VOLOZH, B. - MATSKIN, M. - MINTS, G. - TYUGU, E.: Theorem proving with the aid of program synthesizer. Cybernetics, Vol. 6, 1982, pp. 63-70.
19. UUSTALU, T. - KOPRA, U. - KOTKAS, V. - MATSKIN, M. - TYUGU, E.: The NUT Language Report. The Royal Institute of Technology (KTH). TRITA-IT R, Vol. 94, 1994, No. 14, p. 51.
20. UUSTALU, T. - TYUGU, E.: Higher-Order Functional Constraint Networks. In Constraint Programming, NATO ASI Series F, Vol. 131, pp. 116-139. Springer, 1994.