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


Wyświetlanie 1-2 z 2
Tytuł:
Probabilistic Approach to Epistemic Modals in the Framework of Dynamic Semantics
Autorzy:
Kostic, Milana
Powiązania:
https://bibliotekanauki.pl/articles/600515.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
dynamic semantics
probabilistic semantics
epistemic modals
Opis:
In dynamic semantics meaning of a statement is not equated with its truth conditions but with its context change potential. It has also been claimed that dynamic framework can automatically account for certain paradoxes that involve epistemic modals, such as the following one: it seems odd and incoherent to claim: (1) “It is raining and it might not rain”, whereas claiming (2) “It might not rain and it is raining” does not seem equally odd (Yalcin, 2007). Nevertheless, it seems that it cannot capture the fact that statement (2) seems odd as well, even though not as odd as the statement (1) (Gauker, 2007). I will argue that certain probabilistic extensions to the dynamic model can account for this subtlety of our linguistic intuitions and represent if not an improved than at least an alternative framework for capturing the way contexts are updated and beliefs revised with uncertain information.
Źródło:
Internetowy Magazyn Filozoficzny Hybris; 2015, 30
1689-4286
Pojawia się w:
Internetowy Magazyn Filozoficzny Hybris
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A formal dynamic semantics of Java: an essential ingredient of Java security
Autorzy:
Debbabi, M.
Tawbi, N.
Yahyaoui, H.
Powiązania:
https://bibliotekanauki.pl/articles/309411.pdf
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
Opis:
Security is becoming a major issue in our highly networked and computerized era. Malicious code detection is an essential step towards securing the execution of applications in a highly inter-connected context. In this paper, we present a formal definition of Java dynamic semantics. This semantics has been used as a basis to develop efficient, rigorous and provably correct static analysis tools and a certifying compiler aimed to detect and prevent the presence of malicious code in Java applications. We propose a small step operational semantics of a large subset for Java. The latter includes features that have not been completely addressed in the related work or addressed in another semantics style. We provide a fully-fledged semantic handling of exceptions, reachable statements, modifiers and class initialization.
Źródło:
Journal of Telecommunications and Information Technology; 2002, 4; 81-120
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
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