Results 151 to 160 of about 230,502 (255)

Exercises in denotational semantics [PDF]

, 1976
Krzysztof R. Apt, J. W. de Bakker
openalex   +1 more source

Parametric Denotational Semantics for Extensible Language Definition and Program Analysis

, 2018
In-Ho Yi
openalex   +2 more sources

Denotational semantics of nets with nondeterminism [PDF]

, 1986
Joost N. Kok
openalex   +1 more source

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. [PDF]

Entropy (Basel), 2021
Sun X, Kulicki P, Sopek M.
europepmc   +1 more source

Bridging the Gap between Denotational Semantics of Traditional Contract And Smart Contract

, 2018
Wai Wai Wong, Chin Lay Gan
openalex   +2 more sources

Denotational semantics as a specification of code generators [PDF]

, 1982
Martin R. Raskovsky
openalex   +1 more source

Denotational semantics of an object-oriented programming language with explicit wrappers [PDF]

, 1993
Andreas V. Hense
openalex   +1 more source

From spatial perception to referential meaning: convergent image schemas in the music of and texts about Beethoven's piano sonatas. [PDF]

Front Psychol
Antović M, Jovanović VŽ, Popović M.
europepmc   +1 more source

A security flow control algorithm and its denotational semantics correctness proof [PDF]

, 1992
Masaaki Mizuno, David Schmidt
openalex   +1 more source

Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds [PDF]

Antonio Piccolomini d’Aragona
openalex   +1 more source