VDict - Definition of abstract interpretation

search result for abstract interpretation in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

Finite State Machine Abstract Window Toolkit Packed Encoding Rules O'small loss Tbl conceptualisation G display hack 6.001 Application Program Interface OBJ syntax Abstract-Type and Scheme-Definition Language Eiffel source checker Concrete Data Structure Alex lclint Descriptive Intermediate Attributed Notation for Ada ALGOL 68 Similix Internet Foundation Classes T-gen Algebraic Logic Functional language Single Electron Tunneling Technology Ada 95 Stack Environment Control Dump machine class GMD Toolbox for Compiler Construction abstract data type ML object-oriented database Lambda Prolog semaphore Open Systems Interconnect virtual machine Red Book signature Quest C++ontology Boolean algebra Lisp cybernetics Objective CAML algebraic data type SDL monitor aspect-oriented programming Hermes object-oriented programming ABC Ruby Eiffel PROgrammed Graph REwriting Systems MUMPS SQL interpreter Alan Turing Java Real Programmers Don't Use Pascal

First < Previous 1 2 Next > Last