New answers tagged semantics
6
In terms of related work, Marek Zaionc and collaborators have been studying similar kinds of questions for some time. The following paper includes many results:
René David, Katarzyna Grygiel, Jakub Kozic, Christophe Raffalli, Guillaume Theyssier, Marek Zaionc. Asymptotically almost all λ-terms are strongly normalizing. Logical Methods in Computer Science,...
5
Let's look at a simple example of a toy programming language with unary natural numbers and a "predecessor" operation.
$$t ::= 0 \mid S~t \mid p~t$$
whose semantics is given by the following rewrite rules
$$p~(S~t) \to t
\qquad p~0 \to 0$$
with
$$\mathsf{size}(0) = 1
\qquad \mathsf{size}(S~t) = 1 + \mathsf{size}(t)
\qquad \mathsf{size}(p~t) = 1 + \...
Top 50 recent answers are included
Related Tags
semantics × 69pl.programming-languages × 36
denotational-semantics × 14
reference-request × 13
compilers × 8
lo.logic × 6
functional-programming × 6
ct.category-theory × 5
operational-semantics × 5
lambda-calculus × 4
fl.formal-languages × 3
domain-theory × 3
model-theory × 3
equivalence × 3
type-theory × 2
big-picture × 2
ai.artificial-intel × 2
parsing × 2
topology × 2
term-rewriting-systems × 2
formal-modeling × 2
logic-programming × 2
modal-logic × 2
definitions × 2
imperative-programming × 2