Results 141 to 150 of about 230,502 (255)
Synthesising Programs with Non-trivial Constants. [PDF]
J Autom Reason, 2023 Abate A +8 more
europepmc +1 more source
Denotational semantics of membrane systems by using complete metric spaces
Theoretical Computer Science, 2017 Gabriel Ciobanu, E. Todoran
semanticscholar +1 more source
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
An algebraic framework for structured epidemic modelling. [PDF]
Philos Trans A Math Phys Eng Sci, 2022 Libkind S +4 more
europepmc +1 more source
Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics [PDF]
Yotam Dvir +3 more
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