Temat: static semantics analysis

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ę "static semantics analysis" wg kryterium: Temat

Wyświetlanie 1-4 z 4

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Some Methodological Remarks Inspired by the Paper ”On inner classes” by A. Igarashi and B. Pierce
Autorzy:: Langmaack, H.
Salwicki, A.
Data publikacji:: 2013
Słowa kluczowe:: object-oriented programming
semantics
inheritance
inner classes
direct superclass
static semantics analysis
static binding
derivation calculus
model
minimal resp. least model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A formal dynamic semantics of Java: an essential ingredient of Java security
Autorzy:: Debbabi, M.
Tawbi, N.
Yahyaoui, H.
Data publikacji:: 2002
Słowa kluczowe:: bezpieczeństwo
kryptografia
security
static analysis
certifying compilers
Java
dynamic semantics
operational semantics
small step semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A formal dynamic semantics of Java: an essential ingredient of Java security
Autorzy:: Debbabi, M.
Tawbi, N.
Yahyaoui, H.
Data publikacji:: 2002
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: bezpieczeństwo
kryptografia
security
static analysis
certifying compilers
Java
dynamic semantics
operational semantics
small step semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Compiler Support for Parallel Evaluation of C++ Constant Expressions
Autorzy:: Gozillon, Andrew
Seyed H., Haeri
Riordan, James
Keir, Paul
Data publikacji:: 2023
Słowa kluczowe:: instruction set
semantics
C++ language
static analysis
benchmark testing
load management
instrukcja
semantyka
Język C++
analiza statyczna
test porównawczy
zarządzanie obciążeniem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-4 z 4

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

Informacja

Wyszukujesz frazę "static semantics analysis" wg kryterium: Temat