Category:Programming language semantics

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

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 "http://70.231.62.181/index.php?title=Category:Programming_language_semantics&oldid=11959263"

Hidden category:

Category main article does not match category title