Results 101 to 110 of about 270,225 (234)
C Program Verification: VC Explanation and the Standard Library
Моделирование и анализ информационных систем, 2011 The C program verification project is being developed in IIS. Its latest extension is twofold. First, the labeled variant of axiomatic semantics of the C-kernel language was proposed. The labels, introduced in the calculus, correspond to various concepts
A. V. Promsky
doaj
On the logic of theory change: iteration of expansion
Journal of the Brazilian Computer Society, 2018 Constructing models that allow for iterated changes is one of the most studied problems in the literature on belief change. However, up to now, iteration of expansion was only studied as a special case of consistent revision and, as far we know, there is
Eduardo Fermé, Renata Wassermann
doaj +1 more source
Is there such a thing as pragmatics?--Review of Concise Encyclopedia of Pragmatics 2nd ed (2009) [PDF]
, 2016 Clearly neither I nor anyone will ever read any substantial part of this massive tome so I will discuss the one article that interests me most and which I think provides the framework necessary for the understanding of all the rest.
Starks, Michael
core
Verb patterning and acculturation in Nigerian English
World Englishes, Volume 45, Issue 1, Page 54-75, March 2026.Abstract Speech communities have the tendency to develop habits as to which words tend to co‐occur, in the form of coinages and collocational patterns, thus constituting an aspect conducive to the subtle emergence of language variation. As these co‐occurrence tendencies become lexicalised and confined to specific, rigid word combinations, new ...
Mary Ifeoluwa Abidoye, Hans‐Georg Wolf
wiley +1 more source
C Program Verication in the Multilanguage System Spectrum
Моделирование и анализ информационных систем, 2010 This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project
V. A. Nepomniashy +5 more
doaj
Zappa–Szép Skew Braces: A Unified Framework for Mutual Interactions in Noncommutative Algebra
MathematicsThis paper introduces and systematically develops the theory of Zappa–Szép skew braces, a novel algebraic structure that provides a unified framework for bidirectional group interactions, thereby generalizing the classical constructions of semidirect ...
Suha Wazzan, David A. Oluyori
doaj +1 more source
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Моделирование и анализ информационных систем, 2017 This work represents the further development of the method for definite iteration verification [7]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification. This extension includes a verification method for definite
Ilya V. Maryasov +2 more
doaj +1 more source
Quantum Gravity Strategy for the Production of Dark Matter Using Cavitation by Minimum Entropy
Proceedings, 2019 The minimum entropy is responsible for the formation of dark matter bubbles in a black hole, while the variation in the density of dark matter allows these bubbles to leave the event horizon. Some experimental evidence supports the dark matter production
Edward Jiménez, Esteban E. Jimenez
doaj +1 more source
Distribution-Free Normal Modal Logics
LogicsThis article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a
Chrysafis Hartonas
doaj +1 more source
La concepción de las teorías empíricas de Suppes
Crítica, 2018 A reconstruction of Patrick Suppes' conception of physical theories and of the empirical theories in general (quantitative and non-stochastic) is intended.
José Luis Rolleri
doaj +1 more source