|
|
Larch
The Larch Project develops aids for formal specifications.
Each Larch specification has two components: an interface
containing predicates written in the LIL (Larch Interface
Language) designed for the target language and a 'trait'
containing assertions about the predicates written in LSL,
the Larch Shared Language common to all.
["The Larch Family of Specification Languages", J. Guttag et
al, IEEE Trans Soft Eng 2(5):24-365 (Sep 1985)].
Try this search on OneLook / Google
Nearby terms:
LAPSE « laptop computer « LaQuey « Larch » Larch/C++ » LARCH/CLU » Large Installation Systems Administration
Larch/C++
An interface specification language which can be used to
formally specify C++ program modules.
Try this search on OneLook / Google
Nearby terms:
laptop computer « LaQuey « Larch « Larch/C++ » LARCH/CLU » Large Installation Systems Administration » Larry Wall
LARCH/CLU
<language, specification> The Larch specification language
for CLU. Used in "Abstraction and Specification in Program
Development", B. Liskov & J. Guttag, MIT Press 1986.
(1996-01-02)
Try this search on OneLook / Google
Nearby terms:
LaQuey « Larch « Larch/C++ « LARCH/CLU » Large Installation Systems Administration » Larry Wall » LART
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Teac 1.44MB Floppy Disk Drive (Black)Teac 1.44MB Floppy Disk Drive (Black) ** Teac 1.44 MB Floppy Drive **This Teac floppy drive offers 1.44 MB of capacity and a stylish black bezel. It's ideal for replacing an older floppy drive or adding a second drive. Get yours today! General Features:- Black bezel- 1.44 MB capacity- LED activity indicator- 3.5-inch form factorRegulatory Approvals:- UL- CSA- TUV- BSMINotes:- Drive only- Teac Model: FD-235HG- P/N: 193077C627 Compatibility/Requirements/Disclosures: ** Requirements *** Floppy controller* Floppy cable* Available 3.5-inch drive bay* Available 4-pin power connector More ...
2-Pc Amplified MultiMedia Speaker System (Beige)2-Pc Amplified MultiMedia Speaker System (Beige) ** 2-Piece MultiMedia Speaker System **This 2-Piece MultiMedia Speaker System delivers powerful hi-fidelity sound and is small enough to fit anywwhere at home or in your office! It features 180 watts peak music power (P.M.P.O*), full range cone type drivers and includes headphone jack, and power and volume controls! These speakers are perfect for your desktop or laptop computers, portable games, MP3s, CD players and more!General Features:- Beige color- 2 speakers- Amplified MultiMedia Speaker System - 180 W peak music power (P.M.P.O*)- Two (2) 3.5-inch full range cone type drivers- 4 Ohm voice coil impedance- 60 - 18000 Hz frequency response- 0.8 mV total noise voltage- Power/Volume control- LED indicator- Heaphone jackPower Specifications:- AC 110VUnit Dimensions:- 7.20 x 2.87 x 4.72-inches (H x W x D)Retail Package Includes:- 2-Piece MultiMedia Speaker SystemNotes:- *PMPO (Peak Music Power Output) is an unreliable indicatorof true (RMS) wattage, so take this rating with a grain of salt. Compatibility/Requirements/Disclosures: ** Requirements *** 3.5 mm stereo jack* Available power outlet** Disclosures *** PMPO (Peak Music Power Output) is an unreliable indicatorof true (RMS) wattage, so take this rating with a grain of salt. More ...
Intel P4 1.6GHz 400MHz 256KB Socket 478 CPUIntel P4 1.6GHz 400MHz 256KB Socket 478 CPU ** Pentium4 1.6GHz PGA 478-pin CPU w/ 256K L2 Cache **- 1.6 GHz Clock Speed - PGA 478-pin Package - 400 MHz system bus - Level 2 Advanced 256 KB Transfer Cache - S-Spec: SL5VH- CPU Only- OEM pulls Compatibility/Requirements/Disclosures:* Motherboard that can run a Pentium 4 1.6 GHz CPU (needs 400MHz Bus Support) * Heatsink/Fan - for Pentium 4 478-pin CPU * Country of origin is Costa Rica or Malaysia More ...
Intel Pentium 4 3.4GHz 2MB Extreme Edition Skt 478Intel Pentium 4 3.4GHz 2MB Extreme Edition Skt 478 ** Intel Pentium 4 3.4GHz 2MB Extreme Edition Skt 478 **The New Pentium 4 Processor Is Intel's Most Powerful Processor!Targeting a specialized segment with specialized needs, Intel has developed the Intel Pentium 4 Processor with HT Technology Extreme Edition. This 3.40 GHz processor features an advanced 800 MHz system bus and a 2MB of L3 cache. Built-in Hyper-Threading Technology (HT Technology) provides immediate value in today's computing environment by enabling the processor to simultaneously execute two software program threads. This lets you run two software applications in parallel without sacrificing performance Based on Intel NetBurst microarchitecture and built on Intel's 0.13-micron technology, the Pentium 4 Processor with HT Technology Extreme Edition delivers reliable performance for gamers and power users who demand processing strength.General Features:- Processor Speed: 3.40GHz - Processor Interface: Socket 478 - Bus Speed: 800MHz- L3 Cache: 2MB - Additional Technologies: Hyper-Threading - Intel NetBurst™Microarchitecture: - Hyper-pipelined technology - Rapid execution engine - Execution trace cache - Advanced transfer cache - Advanced dynamic execution - Enhanced floating point/multimedia - Streaming SIMD extentions 2- Brand new retail boxed More ...
USB 2.0 to IDE Adapter Cable - 2 for $29.99USB 2.0 to IDE Adapter Cable - 2 for $29.99 ** USB 2.0 to IDE Adapter Cable - 2 for $29.99 **The USB 2.0 to IDE Drive Adapter implements a bridge between one USB port and one ATA or ATAPI based mass storage device port. The USB 2.0 to IDE Drive Adapter turns any IDE drive into a convenient external drive. Easily transfer files from computer or notebook, back up files, or store large file archives on hard drives. The Hi-Speed USB interface provides for easy installation with its Plug and Play design. The adapter supports all existing IDE/ATAPI devices such as Iomega Zip, CD-ROM, CD-RW, DVD-ROM and IDE hard drives.General Features:- USB to IDE Cable- 2.5-feet long- Connect any device with an IDE Interface to a PC with USB interface- Transfer rate Approx. 480 MBps- Complies with USB 2.0 standards- Backwards compatible to USB 1.1 standards- Complies with ATA/ATAPI-66 Spe. V1.0- Easy to Install- Supports IDE and enhanced IDE hard drives- Supports ATA/ATAPI CD-ROM/R/RW DVD-ROM and more- External power adapter for IDE/ATAPI devices- Linux 2.4.X compatibleRegulatory Marks- FCC- CE- TUV-GS- CCCRetail Package Includes - USB to IDE adapter cable- Power adapter and cord- Driver CD Compatibility/Requirements/Disclosures:** Requirements *** PC Requirements:* Windows 98/2000/XP* CD-ROM* USB Port* Power outlet* Macintosh Requirements:* Mac 9.2* CD-ROM Drive* USB Port* Power outlet More ...
Pizza Connection 2Pizza Connection 2 You are in control of building your own pizza empire. Your choices of location, furnishings, staff, toppings, and menu could mean the difference between success and bankruptcy. Will you rise to the top with hard work and luck, or join the shady underworld to sabotage your opponents' efforts? Windows 95/98/ME/2000/XP More ...
|
