|
|
domain theory
<theory> A branch of mathematics introduced by Dana Scott in
1970 as a mathematical theory of programming languages, and
for nearly a quarter of a century developed almost exclusively
in connection with denotational semantics in computer
science.
In denotational semantics of programming languages, the
meaning of a program is taken to be an element of a domain. A
domain is a mathematical structure consisting of a set of
values (or "points") and an ordering relation, <= on those
values. Domain theory is the study of such structures.
("<=" is written in LaTeX as \subseteq)
Different domains correspond to the different types of object
with which a program deals. In a language containing
functions, we might have a domain X -> Y which is the set of
functions from domain X to domain Y with the ordering f <= g
iff for all x in X, f x <= g x. In the pure lambda-calculus
all objects are functions or applications of functions to
other functions. To represent the meaning of such programs,
we must solve the recursive equation over domains,
D = D -> D
which states that domain D is (isomorphic to) some function
space from D to itself. I.e. it is a fixed point D = F(D)
for some operator F that takes a domain D to D -> D. The
equivalent equation has no non-trivial solution in set
theory.
There are many definitions of domains, with different
properties and suitable for different purposes. One commonly
used definition is that of Scott domains, often simply called
domains, which are omega-algebraic, consistently complete
CPOs.
There are domain-theoretic computational models in other
branches of mathematics including dynamical systems,
fractals, measure theory, integration theory,
probability theory, and stochastic processes.
See also abstract interpretation, bottom, pointed
domain.
(1999-12-09)
Try this search on OneLook / Google
Nearby terms:
domain selection « Domain Software Engineering Environment « domain-specific language « domain theory » DOMF » Donald Knuth » dongle
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
NEW XP 2200+ 256MB DDR 40GB CDRW/DVD SlimNEW XP 2200+ 256MB DDR 40GB CDRW/DVD Slim ** NEW XP 2200+ 256MB DDR 40GB CDRW/DVD Slim **This fast Athlon XP System features a slim case design so it makes the perfect space saver. It also has an AMD Athlon XP 2200+ Processor, 256MB DDR RAM, a 40GB 7200RPM hard drive, and a CDRW/DVD Combo drive. Pick yours up today!General Features:- AMD Athlon XP 2200+ Processor- 256MB DDR Memory- 40GB 7200RPM IDE Hard Drive- CDRW/DVD Combo Drive- 1.44 Floppy Drive- On-board 128-bit 3D AGP Graphics Accelerator with 32MB frame buffer - AC97 Integrated Audio- 56K V.90 Data/Fax Modem- Integrated 10/100 Ethernet- Slim Size ATX Power SupplyMotherboard Features:- VIA KM266 / VT8235 Chipset - One (1) 4X AGP Slot - Two (2) PCI slots- One (1) CNR slot (occupied by modem)I/O Ports:- Two (2) PS/2 Ports, one for mouse, one for keyboard- One (1) Standard DB-15 VGA Connector- One (1) Standard 25-pin Parallel Port Connector- One (1) Standard 9-pin Serial Port Connector- Four (4) Standard USB 2.0 Ports (Two on front, two on rear)- One (1) Standard RJ-45 10/100 Ethernet Port- Line-in, Phone-out RJ-11 Jacks on PCI Modem- Line-in, Mic-in, Line-out 3.5mm mini-jacksPackage Includes:- Eureka XP2200+ System- PS/2 Keyboard and Scroll Mouse- Driver Disc- Panda AntiVirus Software- FaxTalk Communicator Software- Adobe Reader- RJ-11 Phone Cable for Modem- Amplified Stereo Speakers - Amptron 825 Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
PS/2 3-Button Optical Scroll Mouse (Blue/Silver)PS/2 3-Button Optical Scroll Mouse (Blue/Silver) ** Internet PS/2 3-Button Optical Mouse **Tired of mouse pads that wear out? Tired of getting erratic performance because your mouse's rollers get dirty? Tired of trying to clean the ''crud'' off those rollers? If you are, I bet your customers are too! This optical mouse is the perfect solution! Highly compatible with various Windows operating systems, standard PS/2 interface, and NO ROLLERS that need constant cleaning! Buy one for yourself - buy a bunch for your store - you'll love this optical mouse!General Features:- HP/Agilent optical technology- Ergonomic Shape- 3-Button- Scroll Wheel- Works on many different surfaces- Standard PS/2 Interface- UPC Code: 8 50253 00013 1Good looking Clear Plastic Retail Package Compatibility/Requirements/Disclosures: ** Requirements *** PS/2 Mouse Port* Windows 95/98/Me/NT 4.0/2000/XP More ...
Soft Neoprene Notebook Bag (Black)Soft Neoprene Notebook Bag (Black) ** Soft Neoprene Notebook Bag **Carry notebook anywhere with this soft neoprene material! This black bag is easy to carry and will protect your notebook from the elements. Get yours today!General Features:- Black bag- Soft neoprene material- Velcro flapUnit Dimensions:- 0.5 x 12.5 x 10.75-inches (H x W x D)Package Includes:- Soft Neoprene Notebook BagNotes:- We tested the bag and will fit a 13.3-inch screen notebook. The notebook dimensions that fit this bag are1.5 x 11.75 x 9.25-inches (H x W x D) Compatibility/Requirements/Disclosures: ** Requirements *** The need for this item More ...
Intel Celeron 600MHz 66MHz 128KB Socket 370 CPUIntel Celeron 600MHz 66MHz 128KB Socket 370 CPU - Intel Celeron 600MHz- 600/128/66- FC-PGA / ''Flip Chip''- No Fan - S-Spec: SL4NX- CPU Only Compatibility/Requirements/Disclosures: * Motherboard that supports a Celeron 600MHz FC-PGA CPU* Heatsink & Fan More ...
D-Link 802.11b Wireless Ethernet CardBus AdapterD-Link 802.11b Wireless Ethernet CardBus Adapter ** D-Link 802.11b Wireless Ethernet CardBus Adapter **This D-Link DWL-650+ CardBus adapter connects your notebook PC to a wireless network! It features an enhanced 802.11b CardBus that utilizes a patented Digital Signal Processing technology. It's fully compatible with the IEEE 802.11b standard making it interoperable with all existing 802.11b compliant devices. When connected to standard 802.11b devices, transfer rates can be up to 20 percent faster! It also features a 256-bit WEP encryption providing a higher level of security for your data and communications!General Features:- 32-bit PCMCIA type II interface- Integrated antenna- 64/128/256-bit WEP encryption- CSMA/CA with ACK media access control- Direct Sequence Spread Spectrum modulation- 328-foot range (indoors, approximate)- 15dBm (32mW) +/- 2dBm transmit output power- 2.4GHz to 2.462 GHz frequency range- Link/Activity LEDData Rates:- 22 Mbps- 11 Mbps- 5.5 Mbps- 2 Mbps- 1 MbpsRegulatory Approvals:- FCC- CERetail Package Includes:- D-Link 802.11b Wireless Ethernet CardBus Adapter- Manual- Driver CDNotes:- Model: DWL-605+- UPC: 7 90069 24618 0 Compatibility/Requirements/Disclosures: ** Requirements *** Pentium 300 MHz processor or higher* Windows 98SE/ME/2000/XP* 32 MB RAM* Available 32-bit PCMCIA type II slot* IEEE 802.11b access pointOr another 802.11b wireless adapter (for Ad-Hoc and Peer-to-Peer networking modes)CD-ROM drive Informational Links: http://www.dlink.com More ...
Meditation (Music CD)Meditation (Music CD) More and more doctors are prescribing meditation as a way to lower blood pressure, improve exercise performance in people with angina, help people with asthma breathe easier, relieve insomnia and generally relax the everyday stresses of life. Meditation is a safe and simple way to balance a person's physical, emotional, and mental states. Windows 95/98/Me/2000/XP, Mac and Audio CD Player More ...
|
