|
|
abstract interpretation
<theory> A partial execution of a program which gains
information about its semantics (e.g. control structure,
flow of information) without performing all the calculations.
Abstract interpretation is typically used by compilers to
analyse programs in order to decide whether certain
optimisations or transformations are applicable.
The objects manipulated by the program (typically values and
functions) are represented by points in some domain. Each
abstract domain point represents some set of real
("concrete") values.
For example, we may take the abstract points "+", "0" and "-"
to represent positive, zero and negative numbers and then
define an abstract version of the multiplication operator, *#,
which operates on abstract values:
*# | + 0 -
---|------
+ | + 0 -
0 | 0 0 0
- | - 0 +
An interpretation is "safe" if the result of the abstract
operation is a safe approximation to the abstraction of the
concrete result. The meaning of "a safe approximation"
depends on how we are using the results of the analysis.
If, in our example, we assume that smaller values are safer
then the "safety condition" for our interpretation (#) is
a# *# b# <= (a * b)#
where a# is the abstract version of a etc.
In general an interpretation is characterised by the domains
used to represent the basic types and the abstract values it
assigns to constants (where the constants of a language
include primitive functions such as *). The interpretation of
constructed types (such as user defined functions, sum types
and product types) and expressions can be derived
systematically from these basic domains and values.
A common use of abstract interpretation is strictness
analysis.
See also standard interpretation.
(1994-11-08)
Try this search on OneLook / Google
Nearby terms:
absolute pathname « abstract class « abstract data type « abstract interpretation » abstraction » abstract machine » Abstract Machine Notation
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Fellowes 6-Outlet Surge Protector -Fax/Phone JacksFellowes 6-Outlet Surge Protector -Fax/Phone Jacks ** Fellowes 99008 6-Outlet Surge Protector **Protect your electrical equipment and your phones lines with this Fellowes Surge Protector! It features 6 grounded outlets, fax and phone protection, 715 Joules energy rating, and more. Get your Fellowes Surge Protector today!General Features:- Six (6) grounded outlets- Fax/Phone protection- 3-line protection- Thermal Safety Fuse- 715 Joules energy rating- 40-45 db noise filtering- Surge/Wiring Green LEDs- Line-in and line-out phone jacksPower Specification:- 15A, 125V, AC 60Hz, 1875WUnit Dimensions:- 4.75 x 3.38 x 2.13-inches (H x W x D, approximate)Regulatory Approvals:- ULRetail Blister Pack Includes:- Fellowes 99008 6-Outlet Surge Protector- Installation Instructions- Phone cordNotes:- UPC: 0 77511 99008 3 Compatibility/Requirements/Disclosures:** Requirements *** Available power outlet Informational Links:http://www.fellowes.com More ...
Dell Optiplex PII 450MHz 64MB 6.4GB CDDell Optiplex PII 450MHz 64MB 6.4GB CD ** Dell Optiplex PII 450MHz 64MB 6.4GB CD **- Intel Pentium II 450MHz Slot 1 processor- 64MB RAM- 6.4GB Hard Drive- CD-ROM Drive (speed may vary)- 1.44MB Floppy Drive- On board ATi Mach64 AGP chipset w 8MB VRAM (15-pin VGA port)- On board audio (Line in, Line out, Mic. in)- Integrated 10/100 LAN- Two USB ports- Two PS/2 ports- Two Serial ports- One Paralel port- One RJ45 connector (3Com Lucent chipset NIC)- Includes Power Supply (115v-230v)Notes:- NO operating system, monitor, drivers, keyboard, mouse, etc..Compatibility/Requirements/Disclosures:** Requirements *** VGA monitor* Keyboard and mouse* Power cord* Available power outlet** Disclosures *** System is in very good condition* Has cosmetic blemishes, examples of which are (but not limited to):* Missing bezel covers, back plates, expansion slot covers* Scratches in case* Hairline crack in case More ...
DK Ultimate Human Body 2.0DK Ultimate Human Body 2.0 Take an informative and entertaining journey from the skin's surface to the inside of a cell! With amazing 3D models and an incredible body scanner, you can examine the skeleton, view organs from every angle, overlay body systems and understand how they work. Ages 8+. Windows 95/98/ME More ...
Pocketware Space RacersPocketware Space Racers Race against computer opponents or your friends through an asteroid belt in this top down racing game! Fly one of 5 different ships, shoot your fellow racers, grab them with tractor beams, or evade them using the cloaking device! A full-version game on a pocket-size CD! Windows 95/98/ME/2000/XP More ...
D-Link 10/100 Router/Print Server - 2 for $49.99D-Link 10/100 Router/Print Server - 2 for $49.99 ** D-Link 10/100 Router/Print Server - 2 for $49.99 **The DI-704P is an Ethernet Broadband Router with a built-in4-port switch. It also features a parallel port to share a printer on the home or office network and includes a print server application for Windows1. As many as four computerscan be connected to the router’s integrated switch, using its four 10/100Mbps AutoMDIX Ethernet ports. The DI-704P package even includes an Ethernet cable to get you started.The DI-704P is ideal if you’re creating your first home or small business network, or if you’re a more advanced user looking for additional management settings.General Features:- Standards: IEEE 802.3, 802.3u, 802.3 NWay Auto-Negotiation - VPN Pass Through: PPTP, L2TP, IPSec- Device Management: Web based- LEDs: Power, WAN, Per-Port Link/Activity and 100MbpsPorts: - One (1) RJ-45 WAN port- Four (4) RJ-45 LAN ports- One (1) 25-pin standard parallel printer portPackage Includes:- D-Link DI-704P Router/Print Server- AC Power Adapter (100-120VAC, 50-60Hz)- One (1) Cat5 Network Cable- Quick Installation Guide- Software CDNotes:- Case design may vary- Driver CD may vary Compatibility/Requirements/Disclosures:** Requirements *** Broadband Internet connection* Ethernet Adapters* Windows 98/ME/2000/XP for printer sharing* Internet Explorer 5 or later or Netscape Navigator 4.0 or better** Disclosures *** Driver disc may vary More ...
Genica 108-Key PS/2 Keyboard (Beige)Genica 108-Key PS/2 Keyboard (Beige) ** Genica 108-Key PS/2 Keyboard **Offer your customers an attractive, inexpensive PS/2 keyboard!General Features:- Standard PC white keyboard- PS/2 interface- Large, L shaped Enter key- Compact design- Soft Power On Button- Sleep Button- Wake Button- Easy to read black text on white keys Compatibility/Requirements/Disclosures:** Requirements *** PS/2 keyboard port* Microsoft Windows 98/2000/XP required for Power/Sleep/Wake buttons More ...
|
