Results 11 to 20 of about 1,307,657 (201)
Formal semantics and functional semantics [PDF]
The Sign of the V: Papers in Honour of Sten Vikner, 2019 This joint article represents an attempt to clarify relations between two rather different approaches to the description of linguistic meaning: truth-conditional semantics (as represented by Peter Widell) and functional semantics (as represented by Peter Harder).
Harder, Peter, Widell, Peter
openaire +5 more sources
Formal Distributional Semantics: Introduction to the Special Issue
Computational Linguistics, 2021 Formal Semantics and Distributional Semantics are two very influential semantic frameworks in Computational Linguistics. Formal Semantics is based on a symbolic tradition and centered around the inferential properties of language.
Gemma Boleda, Aurélie Herbelot
doaj +2 more sources
Modular, compositional, and executable formal semantics for LLVM IR
Proc. ACM Program. Lang., 2021 This paper presents a novel formal semantics, mechanized in Coq, for a large, sequential subset of the LLVM IR. In contrast to previous approaches, which use relationally-specified operational semantics, this new semantics is based on monadic ...
Yannick Zakowski +5 more
semanticscholar +1 more source
Executable formal semantics for the POSIX shell [PDF]
Proc. ACM Program. Lang., 2019 The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert’s control panel, a necessary tool for configuring, compiling, installing, maintaining, and deploying systems.
M. Greenberg, Austin J. Blatt
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
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
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 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