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