Results 131 to 140 of about 230,502 (255)

Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages

, 2021
Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka   +2 more
openalex   +2 more sources

A metalanguage for cost-aware denotational semantics

, 2022
Yue Niu, Robert Harper
openalex   +2 more sources

Context Breeds False Memories for Indeterminate Sentences. [PDF]

Front Psychol, 2021
Riven L, de Almeida RG.
europepmc   +1 more source

Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

, 1982
Niels Damgaard Hansen, Kim Halskov
openalex   +2 more sources

Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

, 1985
Kurt Jensen, Erik M. Schmidt
openalex   +2 more sources

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

, 2000
Antonio Bucciarelli, Thomas Ehrhard
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

Operational and goal-independent denotational semantics for Prolog with cut

, 2000
Fausto Spoto
openalex   +1 more source

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