Results 131 to 140 of about 2,907 (227)

A denotational semantics for needed narrowing

, 2008
Needed narrowing [2] is currently the best (lazy) narrowing strategy for functional logic programs. In order to automatically improve compilation, it is essential to rely on an adequate semantic framework.
Salvador Lucasy
core  

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

Semantic Foundations of Reductive Reasoning. [PDF]

Topoi (Dordr)
Gheorghiu AV, Pym DJ.
europepmc   +1 more source

Denotational semantics of a synchronous VHDL subset

, 1995
A denotational definition for a single clock synchronous subset of VHDL is proposed. The different domains for variables and signals, the elaboration of static environments, and the formulation of a simulation algorithm for the sub-language characterize ...
Borrione, D., Salem, A.
core  

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

Freud and collocation: a psychodynamic interpretation of '<i>make</i>' and '<i>do</i>' in English. [PDF]

Front Psychol
Al-Jarrah R, Algazo M, Alzghoul M, Alsharif B.   +3 more
europepmc   +1 more source

Semantic convergence in culturally loaded text translation by Large Language Models: a cross-model empirical analysis of English translations of <i>The Four Books</i>. [PDF]

Front Psychol
Wan Q, Yu Q.
europepmc   +1 more source

How to systematically and quantifiably remove meaning? [PDF]

Front Artif Intell
Proschinger Åström F, Hintze A.
europepmc   +1 more source