Results 1 to 10 of about 1,585,173 (321)
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 +11 more sources
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 +7 more sources
Distributional formal semantics
Information and Computation, 2022 To appear in: Information and Computation (WoLLIC 2019 Special Issue)
Noortje J Venhuizen +2 more
exaly +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
Implicit, Formal, and Powerful Semantics in Geoinformation
ISPRS International Journal of Geo-Information, 2021 Distinct, alternative forms of geosemantics, whose classification is often ill-defined, emerge in the management of geospatial information. This paper proposes a workflow to identify patterns in the different practices and methods dealing with ...
Gloria Bordogna +2 more
exaly +3 more sources
A Formal Executable Semantics of Verilog [PDF]
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010 This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ...
Katelman, Michael +3 more
core +2 more sources
A formal semantics for situated conversation [PDF]
Semantics and Pragmatics, 2018 While linguists and philosophers have sought to model the various ways in which the meaning of what we say can depend on the nonlinguistic context, this work has by and large focused on how the nonlinguistic context can be exploited to ground or anchor ...
Julie Hunter, A. Lascarides
semanticscholar +5 more sources
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification
IEEE Access, 2019 Programmable logic controllers (PLCs) are special purpose computers designed to perform industrial automation tasks. They require highly reliable control programs, particularly when used in safetycritical systems such as nuclear power stations.
Yanhong Huang, Jianqi Shi
exaly +3 more sources
Formal semantics and functional semantics
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
Peter Widell, P. Harder
semanticscholar +5 more sources
FORMAL SEMANTICS FOR TIME IN DATABASES [PDF]
ACM Transactions on Database Systems, 1982 The concept of an historical database is introduced as a tool for modelling the dynamic nature of some part of the real world. Just as first-order logic has been shown to be a useful formalism for expressing and understanding the underlying semantics of ...
Clifford, James, Warren, David S.
core +3 more sources