اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدThe meaning of a program change is a change to the programs meaning
98
0
0.0
(
0
)
تأليف
Roly Perera
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Programming is the activity of modifying a program in order to bring about specific changes in its behaviour. Yet programming language theory almost exclusively focuses on the meaning of programs. We motivate a change-oriented viewpoint from which the meaning of a program change is a change to the programs meaning.
قيم البحث
اقرأ أيضاً
The semantics of assignment and mutual exclusion in concurrent and multi-core/multi-processor systems is presented with attention to low level architectural features in an attempt to make the presentation realistic. Recursive functions on event seque
nces are used to define state dependent functions and variables in ordinary (non-formal-method) algebra.
The semantics of emoji has, to date, been considered from a static perspective. We offer the first longitudinal study of how emoji semantics changes over time, applying techniques from computational linguistics to six years of Twitter data. We identi
fy five patterns in emoji semantic development and find evidence that the less abstract an emoji is, the more likely it is to undergo semantic change. In addition, we analyse select emoji in more detail, examining the effect of seasonality and world events on emoji semantics. To aid future work on emoji and semantics, we make our data publicly available along with a web-based interface that anyone can use to explore semantic change in emoji.
In this paper we argue that (lexical) meaning in science can be represented in a 13 dimension Meaning Space. This space is constructed using principal component analysis (singular decomposition) on the matrix of word category relative information gai
ns, where the categories are those used by the Web of Science, and the words are taken from a reduced word set from texts in the Web of Science. We show that this reduced word set plausibly represents all texts in the corpus, so that the principal component analysis has some objective meaning with respect to the corpus. We argue that 13 dimensions is adequate to describe the meaning of scientific texts, and hypothesise about the qualitative meaning of the principal components.
We discuss an algorithm which produces the meaning of a sentence given meanings of its words, and its resemblance to quantum teleportation. In fact, this protocol was the main source of inspiration for this algorithm which has many applications in the area of Natural Language Processing.
In this work, we give rigorous operational meaning to superposition of causal orders. This fits within a recent effort to understand how the standard operational perspective on quantum theory could be extended to include indefinite causality. The mai
nstream view, that of process matrices, takes a top-down approach to the problem, considering all causal correlations that are compatible with local quantum experiments. Conversely, we pursue a bottom-up approach, investigating how the concept of indefiniteness emerges from specific characteristics of generic operational theories. Specifically, we pin down the operational phenomenology of the notion of non-classical (e.g. coherent) control, which we then use to formalise a theory-independent notion of control (e.g. superposition) of causal orders. To validate our framework, we show how salient examples from the literature can be captured in our framework.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
