Temat: declarative programming

Skocz do pozycji: 1.

Tytuł:: Combining Static and Dynamic Contract Checking for Curry
Autorzy:: Hanus, Michael
Data publikacji:: 2020
Słowa kluczowe:: contracts
declarative programming
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: SAT as a Programming Environment for Linear Algebra
Autorzy:: Srebrny, M.
Stępień, L.
Data publikacji:: 2010
Słowa kluczowe:: satisfiability
linear algebra
orthogonal matrices
orthogonal groups
declarative programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: From arithmetic expressions to propositional formulae
Autorzy:: Stępień, L.
Stępień, M. R.
Data publikacji:: 2016
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: From arithmetic expressions to propositional formulae
Autorzy:: Stępień, L.
Stępień, M. R.
Data publikacji:: 2016
Słowa kluczowe:: algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Debugger for the reName language.
Debugger dla języka reName
Autorzy:: Kalita, Konrad
Słowa kluczowe:: name binding, debuggery, kompilatory, programowanie deklaratywne, analiza działania programu
name binding, debuggers, compilers, declarative programming, code analysis; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The Topological Structures of Membrane Computing
Autorzy:: Giavitto, J-L.
Michel, O.
Data publikacji:: 2002
Słowa kluczowe:: membrane computing
gamma
CHAM
P systems
L system
cellular automata
group based fields
rewriting
topological collection
declarative programming language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Declarativity in modelling and problem solving
Autorzy:: Niederliński, A.
Data publikacji:: 2000
Słowa kluczowe:: 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; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Declarativity in modelling and problem solving
Autorzy:: Niederliński, A.
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
Autorzy:: Montali, M.
Torroni, P.
Chesani, F.
Mello, P.
Alberti, M.
Lamma, E.
Data publikacji:: 2010
Słowa kluczowe:: static verification
business process management
declarative business process modeling
Abductive Logic Programming (ALP)
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Scheduling for Multi-modal Cyclic Transport Systems
Harmonogramowanie multimodalnych cyklicznych systemów transportowych
Autorzy:: Bocewicz, G.
Banaszak, Z.
Data publikacji:: 2012
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: harmonogram cykliczny
transport multimodalny
model deklaratywny
programowanie w logice ograniczeń
cyclic scheduling
multimodal transport system
multimodal processes
declarative modeling
constraints programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "declarative programming" wg kryterium: Temat