Category:Programming language semantics

Subcategories

This category has the following 3 subcategories, out of 3 total.

A

Axiomatic semantics (1 C, 1 P)

D

Denotational semantics (1 C, 7 P)

O

Operational semantics (1 C, 4 P)

Pages in category "Programming language semantics"

The following 17 pages are in this category, out of 17 total. This list may not reflect recent changes.

Semantics (computer science)

A

C

Call-by-push-value

D

Denotational semantics

E

Execution semantics

F

Full abstraction

J

J operator

L

N

O

R

Refocusing (semantics)

U

Unifying Theories of Programming

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Programming_language_semantics&oldid=876208024"

Uses material from the Wikipedia article Category:Programming language semantics, released under the CC BY-SA 4.0 license.