from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.
Sorry, no etymologies found.
Sorry, no example sentences found.
Wordnik is becoming a not-for-profit! Read our announcement here.