YAPA: A generic tool for computing intruder knowledge [PDF]
, 2009 Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages based on equational logics, knowledge is typically expressed by two ...
B. Blanchet +12 more
core +5 more sources
Some binominal size noun constructions in English and French: a contrastive corpus-based perspective
NJES: Nordic Journal of English studies, 2015 This paper compares binominal size noun constructions in English and French from a contrastive perspective based on analysis of parallel and monolingual corpus data.
Lieselotte Brems
doaj +1 more source
Examining the Equivalence of Words in “To Turn Green from Love” (Translation of Excerpts from Nizar Qabbani’s Poems into Persian) Based on the Principle of Synonymy [PDF]
پژوهشهای ترجمه در زبان و ادبیات عربی, 2023 The poem's phrases possess significant semantic depth, with each one conveying numerous concealed and enigmatic connotations. Therefore, comprehending its meaning necessitates a meticulous analysis of the poetry.
Oveis Mohammadi
doaj +1 more source
VERBS OF DRINKING IN ENGLISH AND IN SERBIAN AS SOURCES OF CONCEPTUAL METAPHORS AND METONYMIES
Filolog, 2022 The aim of this paper is to analyse verbs of drinking in English and in Serbian that are used to express various drinking processes, but that can also be used to express various other processes not related to drinking. In other words, the paper analyses
Jelena Lj. Biljetina
doaj +1 more source
Typy ekwiwalencji i ich relewancja dla relacji pomiędzy językiem wyjściowym a językiem docelowym w kontekście tłumaczenia tekstów (fachowych) [PDF]
, 2018 In the article there are introduced several types of lingual equivalence and their relevance for the relations between source language and target language. Different types of equivalence, e.g. denotative, connotative, text-normative, pragmatic and formal
Maras, Tomasz
core +1 more source
Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting
IEEE Access, 2021 Hypergraphs are a highly expressive data structure for modeling and programming, for which high-level language constructs are yet to be established. HyperLMNtal is a modeling language based on hypergraph rewriting.
Alimujiang Yasen, Kazunori Ueda
doaj +1 more source
ABSOLUTE EQUIVALENCE OF PHRASEOLOGISMS WITH THE COMPONENT EYE IN ITALIAN, SPANISH AND SERBIAN
Filolog, 2023 This paper deals with a contrastive and conceptual analysis of somatic phraseologisms with the component eye in Italian, Spanish and Serbian, with the aim to find absolute cross-linguistic equivalents, i.e.
Marija N. Vujović
doaj +1 more source
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study [PDF]
, 2017 Widely used complex code refactoring tools lack a solid reasoning about the correctness of the transformations they implement, whilst interest in proven correct refactoring is ever increasing as only formal verification can provide true confidence in ...
Horpácsi, Dániel +2 more
core +2 more sources
Modular Composition of Language Features through Extensions of Semantic Language Models [PDF]
, 1999 Today, programming or specification languages are often extended in order to customize them for a particular application domain or to refine the language definition. The extension of a semantic model is often at the centre of such an extension.
Pahl, Claus
core +1 more source
Comparative phraseological units: features of the subclass (by an example of the German language)
Вестник Самарского университета: История, педагогика, филология, 2021 The article analyzes the features of comparative phraseological units, which are distinguished by researchers into a separate subclass existing in different languages.
I. A. Stikhina
doaj +1 more source