Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics [PDF]
Yotam Dvir +3 more
openalex +2 more sources
Denotational semantics and its algebraic derivation for an event-driven system-level language
Formal Aspects of Computing, 2014 Huibiao Zhu, J. He, S. Qin, P. Brooke
semanticscholar +1 more source
Sound search in a denotational semantics for first order logic
, 2003 C. F. M. Vermeulen
openalex +2 more sources
A Formal Validation Approach for XACML 3.0 Access Control Policy. [PDF]
Sensors (Basel), 2022 Caserio C, Lonetti F, Marchetti E.
europepmc +1 more source
ALGOL 68 as a metalanguage for denotational semantics [PDF]
, 1979 Frank G. Pagan
openalex +1 more source
An Algorithmic Semantics for ALGOL 60 Identifier Denotation [PDF]
, 1970 J. M. Boyle, A. A. Grau
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
Parametric Denotational Semantics for Extensible Language Definition and Program Analysis
, 2018 In-Ho Yi
openalex +2 more sources
Denotational semantics as a specification of code generators [PDF]
, 1982 Martin R. Raskovsky
openalex +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