Also known as semantics, formal semantics, program semantics
the field concerned with the rigorous mathematical study of the meaning of programming languages
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).