Results 11 to 20 of about 1,360,419 (300)
Formal Component-Based Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses.
Ken Madlener +2 more
doaj +1 more source
The lexical and formal semantics of distributivity
Glossa, 2021 Some predicates are distributive (true of each member of a plural subject: if two people smile, they each do). Others are nondistributive (if two people meet, they do so jointly rather than individually), or go both ways: if two people open a door ...
Lelia Glass
doaj +2 more sources
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
Simulator Semantics for System Level Formal Verification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators to save computation time by saving and restoring the state of the system ...
Toni Mancini +4 more
doaj +1 more source
A Formal Semantics for Protocol Narrations [PDF]
Theoretical Computer Science, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Briais, Sébastien, Nestmann, Uwe
openaire +2 more sources
On the formal semantics of IF-like logics [PDF]
Journal of Computer and System Sciences, 2008 في المنطق الكلاسيكي، يكون معنى الصيغة ثابتًا فيما يتعلق بإعادة تسمية المتغيرات المرتبطة. وقد تبين أن هذه الخاصية، التي تؤخذ عادة كأمر مسلم به، لا تحتفظ في حالة المنطق الصديق للاستقلال (IF). في هذه الورقة، نجادل بأن هذه ليست سمة متأصلة في هذه المنطق ولكنها عيب في الطريقة التي تم بها تعميم الدلالات التركيبية التي قدمها هودجز للجزء العادي على الصيغ ...
Santiago Figueira +2 more
openaire +6 more sources
On the Triviality of the Principle of Compositionality
Felsefe Arkivi, 2023 The principle of compositionality states that the meaning of an expression is a function of the meanings of its parts. The principle is based on Gottlob Frege’s works that consider linguistic meaning in the function-argument structure.
Tolgahan Toy
doaj +1 more source
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
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