to the Second Edition.- to the First Edition.- I The Impact of Abstraction Concerns on Modern Programming Languages.- 1. The Impact of Abstraction Concerns on Modern Programming Languages.- 1.1 Issues of Modern Software.- 1.2 Historical Review of Abstraction Techniques.- 1.2.1 Early Abstraction Techniques.- 1.2.2 Extensible Languages.- 1.2.3 Structured Programming.- 1.2.4 Program Verification.- 1.2.5 Abstract Data Types.- 1.2.6 Interactions Between Abstraction and Specification Techniques.- 1.3 Abstraction Facilities in Modern Programming Languages.- 1.3.1 The New Ideas.- 1.3.2 Language Support for Abstract Data Types.- 1.3.3 Generic Definitions.- 1.4 Practical Realizations.- 1.4.1 A Small Example Program.- 1.4.2 Pascal.- 1.4.3 Ada.- 1.5 Status and Potential.- 1.5.1 How New Ideas Affect Programming.- 1.5.2 Limitations of Current Abstraction Techniques.- 1.5.3 Further Reading.- II Programming In Ada: Examples.- 1. Introduction to Example Programs.- 2. An Implementation of Queues.- 2.1 Description.- 2.2 Implementation.- 2.3 Program Text.- 2.4 Discussion.- 2.4.1 Use of Limited Private Types.- 2.4.2 Initialization and Finalization.- 2.4.3 Passing Discriminants to Tasks.- 2.4.4 Remove as a Procedure.- 3. A Simple Graph Package Providing an Iterator.- 3.1 Description.- 3.2 Specifications.- 3.3 Program Text.- 3.4 Discussion.- 3.4.1 The Algorithm.- 3.4.2 Information Hiding.- 3.4.3 In/In Out Parameters.- 3.4.4 Using the Iterator.- 3.4.5 Iterators Versus Generic Procedures.- 3.4.6 Separate Compilation.- 4. A Console Driver for a PDP-11.- 4.1 Description.- 4.2 Implementation.- 4.3 Program Text.- 4.4 Discussion.- 4.4.1 Use of a Package to Surround the Task.- 4.4.2 Distinction Between Task Types and Tasks.- 4.4.3 Resetting and Terminating the Terminal Driver.- 4.4.4 Interfacing to Devices.- 5. Table Creation and Table Searching.- 5.1 Description.- 5.2 Implementation.- 5.3 Program Text.- 5.4 Discussion.- 5.4.1 Use of The Package.- 5.4.2 Use of the Search Function.- 5.4.3 Use of Packages.- 5.4.4 The Type of the Entries in the Table.- 5.4.5 Use of a Private Type for the Pointers to the Table.- 5.4.6 Nesting a Generic Package Within a Generic Package.- 5.4.7 String Comparisons.- 5.4.8 Use of Integers in Find.- 6. Solution of Laplace's Equation with Several Ada Tasks.- 6.1 Description.- 6.2 Implementation.- 6.3 Program Text.- 6.3.1 A Protected Counter Task Type.- 6.3.2 Parallel.Relaxation Procedure.- 6.4 Discussion.- 6.4.1 Use of Shared Variables.- 6.4.2 Updates of Shared Variables From Registers.- 6.4.3 Generics and Generic Instantiation.- 6.4.4 Scheduling of Ada Tasks Onto Processors.- References.

Studies in Ada® Style

Peter Hibbard

Mark Shaw

Jonathan Rosenberg

Mark Sherman

Andy Hisgen

Reference

Springer

China's drive into the 21st century has been fueled by the relationship—and competition—between Beijing, considered by some observers to be the capital of capitals in China, and Shanghai, the nation's economic growth engine. The political and cultural history of China since 1850 has, in many ways, been shaped by Beijing's exercise of policy over what was once a small shipping port and fishing centre. In little more than a century, Shanghai has cast off these nets and is rising to be the region's leading economic metropolis, a position it seems determined to hold, this time with Beijing's blessing. As Beijing bounds forward to host the 2008 Olympics, its majesty, well reflected in its cultural gems—the Forbidden City, The Temple of Heaven and the Ming Tombs—remains unfettered by the country's economic development. This vibrant second edition of Beijing &amp; Shanghai brings readers up-to-date on what's hot and what's cool in China's twin cities. Combining the latest information about restoration, entertainment, transportation and accommodation with historical writing, Beijing &amp; Shanghai is the sophisticated guide to urban China that travelers have always wanted. 230 color photos, 17 maps.

Beijing & Shanghai: China's Hottest Cities, Second Edition (Odyssey Illustrated Guides)

Travel

Paul Mooney

Steven Schwankert

Asia

Odyssey

Beyond Hospitality

Marshall Cavendish Editions

See the best price to sell, buy, or rent books by Peter Hibbard. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Peter Hibbard