Results 211 to 220 of about 5,812 (235)

Axiomatization of a Denotational Semantics for First-order Logic

Logic Journal of IGPL, 2004
Summary: An axiomatization is presented of the denotational semantics for the first-order language of \textit{K. R. Apt} [Lect. Notes Comput. Sci. 1861, 53--69 (2000; Zbl 0983.68113)]. The goal is to obtain a rational reconstruction of the intuitions underlying this semantics.
openaire   +1 more source

A semantic model for axiomatic systems design

Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science, 2017
Design of large-scale engineering systems such as an automobile, satellite, or airplane is a process to satisfy requirements by making various decisions. Design axioms provide system designers with a theoretical background to make right decisions. However, the axiomatic systems design is still hard to be implemented in the real word due to its informal
Haoqi Wang, Xu Zhang, Chengtong Tang, Vincent Thomson   +3 more
openaire   +1 more source

Correctness of the compiling process based on axiomatic semantics

Acta Informatica, 1980
A language that includes computed gotos and parameterized procedures is defined and its semantics are given axiomatically. A number of program transformations are described and proved correct. Taken collectively and applied repeatedly these transformations compile the full language into a low level subset.
openaire   +1 more source

A General Relational Semantics of Propositional Logic: Axiomatization

2021
In the chapter on quantum logic in Volume 6 of Handbook of Philosophical Logic, Dalla Chiara and Giuntini make an interesting observation that there is a unified relational semantics underlying both the \(\{ {\lnot }, {\wedge } \}\)-fragment of intuitionistic logic and ortho-logic.
openaire   +1 more source

A semantic axiomatic design for integrity in IoT

Transactions on Emerging Telecommunications Technologies
AbstractIn the complex, critical, and rapidly evolving era of Industry 4.0 manufacturing, mature engineering disciplines can be developed to validate system designs at an abstract level, enabling effective fault‐free environments. However, designing integrated IoT platforms presents significant challenges due to their inherent complexity and ...
openaire   +1 more source

An Axiomatic Account of a Fully Abstract Game Semantics for General References

Outstanding Contributions To Logic, 2023
Guy Mccusker, Mccusker Guy
exaly  

C-programs verification based on mixed axiomatic semantics

Automatic Control and Computer Sciences, 2012
I S Anureev, I V Maryasov, Anureev I S
exaly  

Semantics, Axiomatics

1978
openaire   +1 more source

Automatic C program verification based on mixed axiomatic semantics

Automatic Control and Computer Sciences, 2015
I V Maryasov, A V Promsky, D A Kondratyev   +2 more
exaly  

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

Programming and Computer Software, 2003
I S Anureev, Nepomniaschy V A, Anureev I S   +2 more
exaly