Theory and Foundations:
Programming languages have a basis in mathematics and logic that
allows us to explore and reason about programming languages in
a rigorous way.
Contribute!
If you are interested in contributing to this topic area in SIGPLANet, please send us email.
Topics
Formal Specification of Semantics
Formal Program Verification
Theory of Computation
Type Theory
Send comments/requests about the "Theory and Foundations" page to
sigplanet@acm.org