Results 91 to 100 of about 246 (185)

Exercises in denotational semantics [PDF]

open access: yes, 1976
K.R. Apt (Krzysztof)   +1 more
openaire   +2 more sources

Perspectives of semantic modeling in categories

open access: yesJournal of King Saud University: Computer and Information Sciences
This paper explores the domain of semantic modeling, emphasizing the thoughtful influence of category theory on imperative programming. We aim to present a formal semantics model by seamlessly integrating categorical concepts.
William Steingartner
doaj   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

open access: yesJ Autom Reason, 2023
Abate A   +8 more
europepmc   +1 more source

An algebraic framework for structured epidemic modelling. [PDF]

open access: yesPhilos Trans A Math Phys Eng Sci, 2022
Libkind S   +4 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy