Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "declarative language" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
System approach to building functional programs
Podejście systematyczne do budowania programów funkcjonalnych
Autorzy:
Zaiats, Vasyl
Majewski, Jacek
Marciniak, Beata
Zaiats, Marii
Powiązania:
https://bibliotekanauki.pl/articles/389809.pdf
Data publikacji:
2017
Wydawca:
Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:
functional program
declarative language
functional defined
Lisp environment
accumulation parameters
program funkcjonalny
język deklaratywny
oprogramowanie zdefiniowane funkcjonalnie
środowisko Lisp
parametry akumulacji
Opis:
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.
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.
Źródło:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2017, 20; 25-33
1899-0088
Pojawia się w:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Declarativity in modelling and problem solving
Autorzy:
Niederliński, A.
Powiązania:
https://bibliotekanauki.pl/articles/205883.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
język symulacyjny
język wysokiego poziomu
optymalizacja kombinatoryczna
CHIP
CLP
combinatorial optimisation
constraint solving
declarative programming
high level language
logic programming
logic programming languages
Prolog
simulation language
Opis:
The paper discusses a new trend in the modelling software for combinatorial and mixed combinatorial-continuous decision problems. The trend, aiming at solving those problems by the simple activity of properly describing them, is best exemplified by a constantly inereasing spectrum of Constraint Logic Programming (CLP) languages. The first such language was Prolog. After a short historical survey concentrating mainly on Prolog, main characteristics of a modern, commercially successful CLP language - CHIP - are presented, discussed and illustrated. The CLP approach to problem solving is compared with traditional Operation Research approaches.
Źródło:
Control and Cybernetics; 2000, 29, 1; 325-339
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies