Results 21 to 30 of about 1,360,419 (300)
Formal semantics for natural language
Anuario del Seminario de Filología Vasca "Julio de Urquijo", 1993 -
Kepa Korta, José María Korta
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2012 By considering an essential subset of the BPEL orchestration language, we define SeB, a session based style of this subset. We discuss the formal semantics of SeB and we present its main properties.
Alessandro Fantechi +2 more
doaj +1 more source
Formal semantics for propositional attitudes
Manuscrito, 2011 Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode.
Daniel Vanderveken
doaj +1 more source
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
Certified Programs and Proofs, 2019 In this article, we provide a Coq mechanised, executable, formal semantics for a realistic fragment of SQL consisting of "select [distinct] from where group by having" queries with null values, functions, aggregates, quantifiers and nested potentially ...
Véronique Benzaken, Évelyne Contejean
semanticscholar +1 more source
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
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
Distributivity in Formal Semantics
Annual Review of Linguistics, 2019 Distributivity in natural language occurs in sentences such as John and Mary (each) took a deep breath, when a predicate that is combined with a plurality-denoting expression is understood as holding of each of the members of that plurality.
Lucas Champollion
semanticscholar +1 more source
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 Formal Semantics of SQL Queries, Its Validation, and Applications
Proceedings of the VLDB Endowment, 2017 While formal semantics of theoretical languages underlying SQL have been provided in the past, they all made simplifying assumptions ranging from changes in the syntax to omitting bag semantics and nulls.
P. Guagliardo, L. Libkin
semanticscholar +1 more source