Jump to content

Category:Programming language semantics

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Gregbard (talk | contribs) at 03:25, 4 June 2010 (Removed Category:Semantics; Adding category Category:Formal semantics (using HotCat)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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=365954767"