Denotational semantics have been developed for modern programming languages that use capabilities like concurrency and exceptions, e.g., Concurrent ML, CSP, and Haskell.
Semanticile denotaționale au fost dezvoltate pentru a fi utilizate de limbajele moderne care implică concurența și excepțiile, de exemplu, Concurrent ML, CSP, și Haskell.