VDict - Definition of axiomatic semantics

search result for axiomatic semantics in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

axiomatic semantics denotational semantics operational semantics semantics Document Style Semantics and Specification Language Computational Adequacy Theorem TL/I standard semantics Denotational Semantics Language FSL Vienna Definition Language sound Concrete Data Structure abduction AADL Quest AXLE DSSSL LNF restructuring SEAL GRAM domain theory Z VITAL COWSEL CP TYPOL ALEPH GLASS Fortrash write-only language Axiomatic Architecture Description Language Nonpareil Diamond standard interpretation Brilliant Turingol Esterel Pebble TEMPO SMALL ACT ONE Grapes POLYGOTH DSL Darwin Local Mail Transfer Protocol Real-Time Common Design Language call-by-need static analysis MLISP partial function least fixed point 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 axiomatic set theory SISAL abstract interpretation Common Internet File System My Favourite Toy Language SDL Liana Ousterhout's dichotomy

First < Previous 1 2 Next > Last