Results 1 to 10 of about 2,981 (115)
Dynamic structural operational semantics
Journal of Logical and Algebraic Methods in Programming, 2019 We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an underlying category theory formalization.
Christian Johansen, Olaf Owe
openaire +7 more sources
Mathematical Structures in Computer Science, 2020 AbstractThe present work achieves a mathematical, in particularsyntax-independent, formulation ofdynamicsandintensionalityof computation in terms ofgamesandstrategies. Specifically, we givegame semanticsof a higher-order programming language that distinguishes programmes with the same value yet different algorithms (or intensionality) and thehiding ...
Norihiro Yamada, Samson Abramsky
openaire +2 more sources
Part-introducing 'percent' in English
Glossa, 2022 Two uses of English percent, called ‘conservative’ and ‘reversed’, have been extensively discussed in the literature. In ‘reversed’ uses, percent introduces a predicate that characterizes a part of a larger whole.
Elizabeth Coppock
doaj +2 more sources
Restriction without Quantification: Embedding and Probability for Indicative Conditionals
Ergo, An Open Access Journal of Philosophy, 2021 Many modern theories of indicative conditionals treat them as restricted epistemic necessity modals. This view, however, faces two problems. First, indicative conditionals do not behave like necessity modals in embedded contexts, e.g., under ‘might’ and ‘
Ivano Ciardelli
doaj +2 more sources
The English past tense as a definite description
Glossa, 2023 There are two major groups of analyses in the literature on the English past tense; existential semantics with domain restriction, and the pronominal (i.e. anaphoric) analysis. In this paper, I discuss a group of data difficult for both of these analyses:
Ruoying Zhao
doaj +2 more sources
Glossa, 2021 While presuppositions are often thought to be lexically encoded, researchers have repeatedly argued for ‘triggering algorithms’ that productively classify certain entailments as presuppositions.
Philippe Schlenker
doaj +2 more sources
Multiple representational and dynamic conceptual analysis in the wild
Fórum Linguístico, 2021 Cognitive semantics has different research methods, such as introspection, corpora analysis, interaction analysis, and experiments. The analysis of “data in the wild” (corpora and interaction) is generally informed by theories, but rarely by the current ...
Josie Helen Siman +1 more
doaj +1 more source
Semantics Aware Dynamic SLAM Based on 3D MODT
Sensors, 2021 The idea of SLAM (Simultaneous Localization and Mapping) being a solved problem revolves around the static world assumption, even though autonomous systems are gaining environmental perception capabilities by exploiting the advances in computer vision ...
Muhammad Sualeh, Gon-Woo Kim
doaj +1 more source
On the semantics and pragmatics of epistemic vocabulary
Semantics and Pragmatics, 2015 This paper motivates and develops a novel semantics for several epistemic expressions, including possibility and necessity modals and indicative conditionals. The semantics I defend constitutes an alternative to standard truth conditional theories, as it
Sarah Moss
doaj +1 more source
Modeling the dynamic semantics of a computer program
Цифровые модели и решения, 2023 In this paper, two approaches are used to construct the dynamic semantics of computer programs: the first is the representation of mathematical models of computational processes generated by a computer program in the form of a discrete transformer; the ...
K. E. Iklassova, R. N. Kozhakhmetova
doaj +1 more source