Results 31 to 40 of about 1,585,173 (321)
Case in Formal Semantics [PDF]
, 2012 AbstractCase has not received a lot of attention from formal semanticists, probably because the approach has mostly focused on languages with relatively sparse case systems. This article examines how formal tools are being used in the study of the meaning of case. There are many semantic aspects of case that lend themselves to such a treatment, such as
Hoop, H. de, Zwarts, J.
openaire +2 more sources
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We extend an off-the-shelf, executable formal semantics of C (Ellison and Rosu's K Framework semantics) with the core features of CUDA-C. The hybrid CPU/GPU computation model of CUDA-C presents challenges not just for programmers, but also for ...
Adam Procter +3 more
doaj +1 more source
A Formal Semantics for Editing and Generating Plurals [PDF]
, 2000 We present a formal semantics for an object-oriented formalism which allows for the representation of plural objects (such as 'Three N', Most of the N', 'Some N', . . .).
Piwek, Paul
core +6 more sources
Sciences du Jeu, 2019 The present King of France and Sherlock Holmes are classically referred to by analytic philosophy, bringing their puzzles into philosophy of language and philosophy of mind.
Manuel Rebuschi
doaj +1 more source
A thread-tag based semantics for sequence diagrams [PDF]
, 2007 The sequence diagram is one of the most popular behaviour modelling languages which offers an intuitive and visual way of describing expected behaviour of object-oriented software.
Counsell, S, Dan, H, Hierons, RM
core +1 more source
Formal Ontologies, Linked Data, and TEI Semantics
Journal of the Text Encoding Initiative, 2016 The debate on the semantic role of markup languages has been quite lively and the TEI community has played an active part in it. It is commonly acknowledged that markup conveys semantic information.
Fabio Ciotti, Francesca Tomasi
doaj +1 more source
IEEE Open Journal of the Industrial Electronics Society, 2021 This paper proposes a formal model for industrial cyber-physical systems (CPS) with distributed control based on IEC 61499 standard and supporting time-aware computations for better adaptation to the ever changing environment conditions. Main features of
Dmitrii Drozdov +3 more
doaj +1 more source
Toward a Formal Semantics for Autonomic Components [PDF]
, 2008 Autonomic management can improve the QoS provided by parallel/ distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic - monitoring-driven - alteration of the component assembly and, therefore,
JO Kephart +3 more
core +2 more sources
A Formal Semantics for Finalizers
J. Univers. Comput. Sci., 2005 JUCS - Journal of Universal Computer Science Volume Nr.
Leal,Marcus, Ierusalimschy,Roberto
openaire +2 more sources
Formal Semantics: Origins, Issues, Early Impact
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments ...
Barbara H. Partee
doaj +1 more source