Results 161 to 170 of about 11,543 (183)

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, Hauk O, Lambon Ralph MA.
europepmc   +1 more source

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
Faisal Khalil-Ur-Rehman, Muhammad Farooq, Tansholpan Bekmyrza, Waqar Younas, Valliappan Raju   +4 more
openalex   +1 more source

Coherent Banach Spaces: a continuous denotational semantics extended abstract

, 1996
Jean-Yves Girard
openalex   +1 more source