Temat: programming language - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Model checking of java programs using networks of fadds
Autorzy:: Woźna, B.
Zbrzezny, A.
Powiązania:: https://bibliotekanauki.pl/articles/121764.pdf
Data publikacji:: 2009
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: język programowania Java
programowanie komputerowe
Pathfinder
języki programowania
Java programming language
computer programming
PathFinder code
programming languages
Opis:: In the paper we present the current theoretical base of the J2FADD tool, which translates a Java program to a network of finite automata with discrite data (FADDs).The reason for building the tool is that to model check a concurrent program writ-ten in Java by means of the tools like Uppaal or VerICS (the module VerICS ), an automata model of the Java program must be build first. This is because these tools verify only systems modeled as networks of automata, in particular, systems modeled as networks of FADDs. We also make an attempt to evaluate the J2FADD tool by comparison of it with the two well known Java verification tools: Bandera and Java PathFinder.
Źródło:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 151-164
2450-9302
Pojawia się w:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: O znaczeniu odwrotnej notacji polskiej dla rozwoju technik informatycznych
On the Importance of Reverse Polish Notation for the Development of Computer Science
Autorzy:: Gryś, Sławomir
Minkina, Waldemar
Powiązania:: https://bibliotekanauki.pl/articles/274938.pdf
Data publikacji:: 2020
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: historia informatyki
notacja Łukasiewicza
Odwrotna Notacja Polska
wyrażenia logiczne
wyrażenia algebraiczne
stos w komputerze
języki programowania
history of computer science
Lukasiewicz notation
Reverse Polish Notation
logical expressions
algebraic expressions
stack
programming language
Opis:: Artykuł dotyczy wpływu beznawiasowej notacji polskiej na rozwój współczesnej informatyki i innych, pokrewnych dyscyplin naukowych korzystających z technik informatycznych, m.in. matematyki, elektroniki, automatyki czy robotyki. W niniejszym artykule podano przykłady współczesnych zastosowań ONP w informatyce, m.in. w językach Forth, Postscript i parserach języków wysokiego poziomu. Rozważania zilustrowano przykładami konwersji wyrażeń z klasycznej notacji do notacji przyrostkowej oraz ich przetwarzania przez komputer z użyciem modelu zarządzania pamięcią zorganizowaną w stos, dzięki czemu uzyskuje się skrócenie czasu wykonania algorytmu i mniejszą zajętość pamięci. Celem tej publikacji było także upamiętnienie osiągnięć polskich naukowców w zakresie współczesnych technik komputerowych, a w szczególności Jana Łukasiewicza – twórcy znanej na całym świecie Odwrotnej Notacji Polskiej. Stworzona obecnie w Polsce sieć badawcza obejmująca wiodące krajowe instytuty naukowo-badawcze przyjęła patronat innego badacza: Ignacego Łukasiewicza - znanego głównie z wynalezienia lampy naftowej i rozwoju polskiego przemysłu naftowego. Warto pamiętać, że są to różni naukowcy zasłużeni w różnych obszarach badawczych.
This paper is focused on the impact of polish notation on the development of modern computer science and other related scientific disciplines using IT techniques, including mathematics, electronics, automation and robotics. Reverse Polish Notation was developed and disseminated by Australian scientist Charles Hamblin as a “reversal” of the prefix notation, developed around 1920 by the Polish mathematician Jan Łukasiewicz. According to knowledge of the authors of this article, the discovery and its fundamental importance for the development of digital technology is not common in the consciousness, even of people with academic education. Operation of all devices containing processors, e.g. calculators, computers, network and telecommunications devices, cell phones, household appliances, digital terrestrial and satellite television and other devices would be very difficult without applying this notation. Its significance was appreciated only after many decades, in the era of electronic computers, equipped with a programmable processor and high-level languages. The advantage of this notation is the lack of parentheses and the need for a preliminary analysis of the entire expression to determine the order of operations. It makes easier to prepare the result code for the computer. Notation can be used to write any of the expressions composed of symbols representing input variables and operators, i.e. in sentence logic, set theory, algebra, two-state logic used by digital systems and being the basis of computers, high-level language compilers and interpreters. In this article, examples of contemporary RPN applications are given, such as: Forth language, Postscript, high-level language parsers. The considerations are illustrated by examples of the conversion of an expression from classical notation to postfix notation and its processing by a computer using a stack memory management model to reduce time of algorithm execution and memory occupation. The purpose of this publication was also to commemorate the achievements of Polish technical thought in the field of contemporary computer techniques and closely associated with the name of Jan Łukasiewicz – the creator of the world-famous Reverse Polish Notation. This is also due to the fact that the currently created research network including leading national scientific and research institutes in Poland, which is a showcase of Polish technical thought, has assumed the patronage of Ignacy Łukasiewicz – known mainly for the invention of the kerosene lamp and the development of the Polish oil industry. They are two different people distinguished in other areas, which are worth remembering.
Źródło:: Pomiary Automatyka Robotyka; 2020, 24, 2; 11-16
1427-9126
Pojawia się w:: Pomiary Automatyka Robotyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Język C++/CLI – narzędzie do tworzenia aplikacji
C++/CLI language - application development tool
Autorzy:: Jastrzębski, G.
Powiązania:: https://bibliotekanauki.pl/articles/137214.pdf
Data publikacji:: 2012
Wydawca:: Uczelnia Jana Wyżykowskiego
Tematy:: C++
CLI
Common Language Infrastructure
języki programowania
programming languages
Opis:: Praca przedstawia podstawowe wiadomości na temat języka C++/CLI (Common Language Infrastructure), w szczególności różnice pomiędzy nim a językiem C++. Pomimo skrótowej formy zawiera informacje wystarczające do zbudowania pełnowartościowych aplikacji w technologii .NET.
This paper presents basic features of a C++/ CLI (Common Language Infrastructure), with a particular focus on differences between this language and a C++ language. Despite the abbreviated form, the paper contains enough information to allow one to create valuable applications using .NET technology.
Źródło:: Zeszyty Naukowe Dolnośląskiej Wyższej Szkoły Przedsiębiorczości i Techniki. Studia z Nauk Technicznych; 2012, 1; 55-71
2299-3355
Pojawia się w:: Zeszyty Naukowe Dolnośląskiej Wyższej Szkoły Przedsiębiorczości i Techniki. Studia z Nauk Technicznych
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "programming language" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język