Results 21 to 30 of about 1,585,173 (321)
Glossa, 2023 This paper provides a detailed description of the distribution of an utterance-accompanying or utterance-replacing throwing away gesture (see Bressem & Müller 2014, 2017), THROW, and proposes a formal analysis of its contribution.
Naomi Francis +2 more
doaj +2 more sources
Challenges in Bridging Social Semantics and Formal Semantics on the Web [PDF]
, 2013 This paper describes several results of Wimmics, a research lab which names stands for: web-instrumented man-machine interactions, communities, and semantics.
A Cooper +14 more
core +4 more sources
A robust semantics hides fewer errors [PDF]
, 2009 In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics.
A. Valmari +14 more
core +3 more sources
A complete formal semantics of x86-64 user-level instruction set architecture
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2019 We present the most complete and thoroughly tested formal semantics of x86-64 to date. Our semantics faithfully formalizes all the non-deprecated, sequential user-level instructions of the x86-64 Haswell instruction set architecture.
Sandeep Dasgupta +4 more
semanticscholar +1 more source
KRust: A Formal Executable Semantics of Rust [PDF]
Theoretical Aspects of Software Engineering, 2018 Rust is a new and promising high-level system programming language. It provides both memory safety and thread safety through its novel mechanisms such as ownership, moves and borrows.
Feng Wang +4 more
semanticscholar +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 natural language
Anuario del Seminario de Filología Vasca "Julio de Urquijo", 1993 -
Kepa Korta, José María Korta
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
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
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