System approach to building functional programs

• Autorzy: Zaiats Vasyl , Majewski Jacek , Marciniak Beata , Zaiats Marii

Warianty tytułu

PL

Podejście systematyczne do budowania programów funkcjonalnych

• Języki publikacji: EN

Abstrakty

EN

The Basic approaches for constructions of the functional programs are considered in the article. The main methods of optimization of the new functions and of the functional are determined. The authors proposed a system approach to building and optimizing the functionality of applications that can be used in the creation of the system of recognizing objects and phenomena. The essence of the approach in a gradual improvement software through software optimization. The developed software is always open and its can be modified, improved or refilled. Each of methods is illustrated by the examples of realization in the environment of Lisp.

PL

W pracy są rozważane podstawowe założenia konstrukcji programów funkcjonalnych. Określono główne metody optymalizacji nowych funkcji i funkcjonalności. Autorzy zaproponowali podejście systemowe do budowania i optymalizacji funkcjonalności aplikacji, które mogą być wykorzystane przy tworzeniu systemów rozpoznawania obiektów i zjawisk. Istotą proponowanego sposobu na optymalne rozwiązanie problemu jest ciągła poprawa, bazująca na optymalizacji funkcjonalnej elementów składowych oprogramowania. Rozwinięte oprogramowanie jest zawsze otwarte i może być modyfikowane, udoskonalane lub uzupełniane. Każda z proponowanych w pracy metod, przedstawiona jest jako przykład realizacji w środowisku Lisp.

Słowa kluczowe

EN

functional program; declarative language; functional defined; Lisp environment; accumulation parameters

PL

program funkcjonalny; język deklaratywny; oprogramowanie zdefiniowane funkcjonalnie; środowisko Lisp; parametry akumulacji

• Wydawca: Wydawnictwa Uczelniane Politechniki Bydgoskiej im. Jana i Jędrzeja Śniadeckich
• Czasopismo: Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
• Rocznik: 2017
• Tom: z. 20
• Strony: 25--33
• Opis fizyczny: Bibliogr. 13 poz., rys., tab.

Twórcy

autor

Zaiats Vasyl

• UTP University of Science and Technology, Faculty Telecommunication, Computer Science and Electrical Engineering, Al. prof. S. Kaliskiego 7, 85-785 Bydgoszcz, Poland,

autor

Majewski Jacek

• UTP University of Science and Technology, Faculty Telecommunication, Computer Science and Electrical Engineering, Al. prof. S. Kaliskiego 7, 85-785 Bydgoszcz, Poland,

autor

Marciniak Beata

• UTP University of Science and Technology, Faculty Telecommunication, Computer Science and Electrical Engineering, Al. prof. S. Kaliskiego 7, 85-785 Bydgoszcz, Poland,

autor

Zaiats Marii

• Lviv National Polytechnic University, ISM Department, st. S. Bandera 12, 79013 Lviv, Ukraine

Bibliografia

• [1] Badaev Yu. I., 1999. Theory of functional programming. Movi Common Lisp is Auto Lisp. Kiev, 150.
• [2] Edneral V.F., Kryukov A.P., Rodionov A.Ya., 1984. Language of analytical calculations. Publishing House of Moscow State University, 176.
• [3] Gamma E., Helm R., Johnson R., Vlissides J., 2010. Wzorce projektowe. Helion Gliwice.
• [4] Henderson P., 1983. The functional programming. Application and implementatio. Peace Moscow.
• [5] Hüvenen P.E., Slepyan J., 1990. The World of Lisp. In two vol. T.1. Introduction to Lisp language and functional programming. Trans.: Myr, 447.
• [6] Jean E. Sammet J.E., 1969. Programming Languages: History and Fundamentals. Prentice-Hall New Yersey.
• [7] Kryukov A.P., Rodyonov A.Y., Taranov E.M., Shablyhyn E.M., 1991. Programming language for R-Lisp, Radio and communication, 192.
• [8] Maurer W.U., 1972. The programmer's introduction to LISP. London: Macdonald; New York: American Elsevier.
• [9] McAllister J., 1987. Artificial Intelligence and PROLOG for Microcomputers. Hodder Arnold London.
• [10] Mccarthy J., 1960. Recursive functions of symbolic expressions and their computation by machine, Comm. ACM Vol. 3, P.184-195.
• [11] Wrycza S., 2006. UML 2.1, ćwiczenia. Praca zbiorowa, Helion Gliwice.
• [12] Zayats V.M., 1999. The summary of the lecture in the course "Functional programming”. Lviv, 55.
• [13] Zaiats V.M., Zaiats M.M., 2006. Logical and functional programming. Training manual. Publisher Beskyd Bit Lviv, 352.