Results 191 to 200 of about 270,225 (234)

Axiomatic semantics of indirect addressing

1981
The assignments of form EXPσ (tl,...tn):=r have been studied and applied to arrays and pointers.
openaire   +1 more source

Theories of possibility: Meta-axiomatics and semantics

Fuzzy Sets and Systems, 1988
The author declares that in the paper he ``outlines the fundamentals of possibilistic systems'' which generalize some well known different kinds of fuzzy sets. Unfortunately, this outline only is a very rough sketch of some perhaps interesting ideas. Neither here there is a genuine mathematical approach nor is it a really convincing philosophical nor a
openaire   +2 more sources

Towards General Axiomatizations for Bisimilarity and Trace Semantics

2021
We study general equational characterizations for bisimulation and trace semantics via the respective post-/pre-metaequivalences defined on the ULTraS metamodel. This yields axiomatizations encompassing those appeared in the literature, as well as new ones, for bisimulation and trace equivalences when applied to specific classes of processes.
openaire   +1 more source

Grammar and semantics in ‘axiomatic functionalist’ linguistics

Lingua, 1975
Much space has been devoted in recent years to discussion of the hitherto unresolved controversy over the relation between syntax and semantics in transformational linguistics. In an approach as loosely integrated as the latter 1 , it seems not unlikely that the controversy will never be resolved by means of conclusive arguments from one or other of ...
openaire   +1 more source

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 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

An axiomatic approach to semantics of specification languages

2005
The paper proposes an axiomatic approach to semantics of specification languages. It introduces the notion of a semantical system as a framework to discuss and compare various approaches to specification of (algebraic) data types and to spell out their underlying assumptions.
B. Mahr, J. A. Makowsky
openaire   +1 more source

Towards a Unified Theory of Operational and Axiomatic Semantics

International Colloquium on Automata, Languages and Programming, 2012
Grigore Roşu, Andrei Stefanescu
semanticscholar   +1 more source

C-programs verification based on mixed axiomatic semantics

Automatic Control and Computer Sciences, 2011
I. Anureev, I. Maryasov, V. Nepomniaschy
semanticscholar   +1 more source

A Complete Axiomatic Semantics for the CSP Stable-Failures Model

International Conference on Concurrency Theory, 2006
Yoshinao Isobe, M. Roggenbach
semanticscholar   +1 more source