approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).