His research extends to logic in computer science (model theory, set constraints, equations between terms, zero-one laws, logic with two variables) and programming logic and the theory of programming languages (statistical analysis, types, security).
Przedmioty jego badań to logika w informatyce (teoria modeli, więzy mnogościowe, równania na słowach, prawa zero-jedynkowe, logiki z dwiema zmiennymi) i programowanie w logice i teoria języków programowania (analiza statystyczna, typy, bezpieczeństwo).
This compiler option for XL C generates code without Language Environment runtime dependencies and to express low-level programming logic.
Ta opcja kompilatora XL C generuje kod bez zależności środowiska wykonawczego Language Environment i umożliwia odzwierciedlenie logiki programowania niskopoziomowego.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "programming logic" in English