Browsing Computer Science (Scholarly Publications) by Subject "Formal Semantics"
Now showing items 1-19 of 19
-
Between the Event Calculus and Finite State Temporality
(Springer, 2016) -
Cognitive Infocommunications
(2023) -
Denoting Offence
(2014) -
Features and Categories of Hyperbole in Cyberbullying Discourse on Social Media
(European Language Resources Association, 2022)Cyberbullying discourse is achieved with multiple linguistic conveyances. Hyperboles witnessed in a corpus of cyberbullying utterances are studied. Linguistic features of hyperbole using the traditional grammatical ... -
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
(Springer, 2022)We present a bounded equivalence verification technique for higher-order programs with local state. This technique combines fully abstract symbolic environmental bisimulations similar to symbolic game semantics, novel up-to ... -
From CCS to CSP: the m-among-n Synchronisation Approach
(Open Publishing Association, 2022)We present an alternative translation from CCS to an extension of CSP based on m-among-n syn chronisation (called CSPmn). This translation is correct up to strong bisimulation. Unlike the g-star renaming approach ([4]), ... -
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
(IEEE, 2023)We present the first fully abstract normal form bisimulation for call-by-value PCF (PCFv). Our model is based on a labelled transition system (LTS) that combines elements from applicative bisimulation, environmental ... -
A Generalizable Semantics for an Inheritance Reasoner.
(CSLI: Stanford University, 1998) -
Gestural linguistic context vectors encode gesture meaning
(2023)Linguistic context vectors are adapted for measuring the lin- guistic contexts that accompany gestures and comparable co- linguistic behaviours. Focusing on gestural semiotic types, it is demonstrated that gestural ... -
Psychological Evidence for Assumptions of Path-Based Inheritance Reasoning
(1994)The psychological validity of inheritance reasoners is clarified. Elio and Pelletier (1993) presented the first pilot experiment exploring some of these issues. We investigate other foundational assumptions of inheritance ... -
Some Puzzles of Politeness and Impoliteness within a Formal Semantics of Offensive Language
(Springer, 2015)Puzzles of linguistic politeness and impoliteness are outlined. A framework for articulating formal semantic theories of linguistic politeness and impoliteness is adopted. The framework provides a foundation for a ... -
Spanish Psychological Predicates
(CSLI Publications, 2000) -
Taboo Semantics
(IEEE, 2014) -
Taking Offence
(2020)Between speakers and addressees, the perception of offensiveness in natural language may diverge distinctly to the potential for divergence of understanding of lexical content. Historically, the perception of offensiveness ... -
Temporal Forces and Type Coercion in Strings
(Association for Computational Linguistics, 2015) -
Towards efficient string processing of annotated events
(2017)This paper explores the use of strings as models to effectively represent event data such as might be found in a document annotated with ISO-TimeML. We describe the translation of such data to strings, as well as a number ... -
Translation of CCS into CSP, Correct up to Strong Bisimulation
(Springer, 2021)We present a translation of CCS into CSP which is correct with respect to strong bisimulation. To our knowledge this is the first such translation to enjoy a correctness property. This contributes to the unification of the ... -
UTCP: compositional semantics for shared-variable concurrency
(Springer, 2017) -
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
(IEEE Computer Society, 2016)