Results 141 to 150 of about 228,658 (258)

Perspectives of semantic modeling in categories

Journal 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

Programming Denotational Semantics [PDF]

The Computer Journal, 1983
openaire   +3 more sources

On phase semantics and denotational semantics in multiplicative–additive linear logic

, 2000
Antonio Bucciarelli, Thomas Ehrhard
openalex   +1 more source

Operational and goal-independent denotational semantics for Prolog with cut

, 2000
Fausto Spoto
openalex   +1 more source

A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism

Mathematical Foundations of Programming Semantics, 2019
Di Wang, Jan Hoffmann, T. Reps
semanticscholar   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source

An algebraic framework for structured epidemic modelling. [PDF]

Philos Trans A Math Phys Eng Sci, 2022
Libkind S, Baas A, Halter M, Patterson E, Fairbanks JP.   +4 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