VDict - Definition of operational semantics

search result for operational semantics in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

semantics axiomatic semantics denotational semantics operational semantics Computational Adequacy Theorem Vienna Definition Language CP Initial Operational Test and Evaluation Document Style Semantics and Specification Language POLYGOTH Darwin operational test and evaluation operational requirements PAISley TL/I standard semantics Denotational Semantics Language FSL decision support database sound Concrete Data Structure abduction Quest IOT&E OT&E DSSSL down-time operational testing LNF MIMOLA restructuring SEAL operational database GRAM domain theory VITAL COWSEL TYPOL ISPS ALEPH GLASS Fortrash write-only language Nonpareil Diamond standard interpretation Brilliant firefighting Turingol Corporation for Research and Educational Networking Esterel Pebble TEMPO Embedded Mode combinatory logic SMALL relational calculus ACT ONE Advanced Research Projects Agency Network Grapes DSL Management Information System Local Mail Transfer Protocol Real-Time Common Design Language call-by-need static analysis MLISP Illiac IV partial function least fixed point relational algebra MIB Variable syntax E programming language object-oriented design C*Kevo wedged Graphics Language Object System

First < Previous 1 2 Next > Last