Results 211 to 220 of about 230,502 (255)

Language writ large: LLMs, ChatGPT, meaning, and understanding. [PDF]

Front Artif Intell
Harnad S.
europepmc   +1 more source

Clock Constraints Specification Langage : A mechanized denotational semantics in Agda

, 2017
Mathieu Montin, Marc Pantel
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Domains for denotational semantics

International Colloquium on Automata, Languages and Programming, 1982
The purpose of the theory of domains is to give models for spaces on which to define computable functions. The kinds of spaces needed for denotational sematics involve not only spaces of higher type (e.g. function spaces) but also spaces defined recursively (e.g. reflexive domains).
D. Scott
openaire   +3 more sources

A denotational semantics for stateflow

Proceedings of the 5th ACM international conference on Embedded software, 2005
We present a denotational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink toolsuite. This semantics makes use of continuations to capture even the most complex constructions of the language, such as inter-level transitions, junctions, or backtracking.
Grégoire Hamon
openaire   +3 more sources

The clocks they are adjunctions: Denotational semantics for Clocked Type Theory

International Conference on Formal Structures for Computation and Deduction, 2018
Clocked Type Theory (CloTT) is a type theory for guarded recursion useful for programming with coinductive types, allowing productivity to be encoded in types, and for reasoning about advanced programming language features using an abstract form of step ...
B. Mannaa, R. E. Møgelberg
semanticscholar   +1 more source