VDict - Definition of abstract interpretation

search result for abstract interpretation in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

abstract interpretation standard semantics abstraction abstract machine B-Method structural recursion abstract syntax F-code Abstract Machine Notation abstract syntax tree Abstract Windowing Toolkit WAM abstract class knowledge representation concrete syntax powerdomain syntax directed translation abduction Abstract Syntax Notation 1 domain theory Formal Description Technique ELMAGUIDE NoteCards bit pattern STAB-11 ASDL OATH standard interpretation COMIS Ousterhout's dichotomy framework Categorical Abstract Machine Language ASN.1 AWT ADT X.208 S-K reduction machine X.409 reify X.680 METEOR C with Classes transfer syntax Poly/ML CLU FLUB BMASF Thread Language Zero complete theory Document Type Definition Wizard Book retcon SRDL raw mode Second-Order Lambda-calculus PCF TDF ASpecT CAML Emerald scanf structured language Pebble concrete class Scratchpad I CAT G-Code cppp Clean syntax tree language-sensitive editor parser Tcode LOWL greek FP/M data abstraction Algebraic Specification Language RSL Prolog/Mali

First < Previous 1 2 Next > Last