Category:Programming language semantics
Here is a list of articles in the category Programming language semantics of the Computing portal that unifies foundations of mathematics and computations using computers.
Pages in category "Programming language semantics"
The following 18 pages are in this category, out of 18 total.
- Semantics (computer science) (computing)
- Call-by-push-value (computing)
- Execution semantics (computing)
- Full abstraction (computing)
- J operator (computing)
- Reduction strategy (lambda calculus) (computing)
- Unifying Theories of Programming (computing)