Results 181 to 190 of about 11,766 (228)

A Denotational Semantics for Logic Programming

, 1985
Gudmund Skovbjerg Frandsen
openalex   +1 more source

A common framework for semantic memory and semantic composition

Law RM, Lambon Ralph MA, Hauk O.
europepmc   +1 more source

Towards a denotational semantics for a reflective Scheme - An implementation of the towerless model

, 1987
Catherine Recanati, Alain Deutsch
openalex   +1 more source

Relating Semantic Models of Compensating CSP

, 2006
Butler, Michael, Ripon, Shamim
core  

NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules. [PDF]

Front Neuroinform
Linssen C, Babu PN, Eppler JM, Koll L, Rumpe B, Morrison A.   +5 more
europepmc   +1 more source

Bridging the Gap between Denotational Semantics and Operational Semantics in Smart Contract

, 2018

openalex   +1 more source