• Home
  • Random
  • Nearby
  • Log in
  • Settings
Donate Now If Wikipedia is useful to you, please give today.
  • About Wikipedia
  • Disclaimers
Wikipedia

Category:Programming language semantics

  • Category
  • Talk
  • Language
  • Watch
  • Edit
The main article for this category is Semantics (computer science).

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 (programming languages)

A

  • Action semantics
  • Algebraic semantics (computer science)
  • Axiomatic semantics

C

  • Call-by-push-value

D

  • Denotational semantics

E

  • Execution semantics

F

  • Full abstraction

J

  • J operator

L

  • Liskov substitution principle
  • Logical relations

N

  • Natural semantics
  • Normalisation by evaluation

O

  • Observational equivalence
  • Operational semantics

R

  • Refocusing (semantics)

U

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