VDict - Definition of denotational semantics

search result for denotational semantics in Computing (FOLDOC) dictionary

semantics axiomatic semantics denotational semantics operational semantics SMALL Computational Adequacy Theorem Denotational Semantics Language Quest standard semantics domain theory DSL Document Style Semantics and Specification Language partial function least fixed point TL/I FSL Vienna Definition Language sound Concrete Data Structure abduction DML DSSSL LNF restructuring SEAL GRAM VITAL COWSEL CP TYPOL ALEPH GLASS Fortrash write-only language Diamond Nonpareil standard interpretation Brilliant Turingol Esterel Pebble TEMPO ACT ONE Grapes POLYGOTH Darwin Local Mail Transfer Protocol Real-Time Common Design Language call-by-need static analysis MLISP relational algebra MIB Variable syntax E programming language object-oriented design C*Kevo Graphics Language Object System Mesa topic map Transport Layer Interface ML Scheme Ox Trilogy PEARL occurs check SISAL abstract interpretation Common Internet File System My Favourite Toy Language SDL Liana Ousterhout's dichotomy PROgrammed Graph REwriting Systems modal logic Ruby