Copyright

Publishing Director: Joanne TracySenior Acquisitions Editor: Chuck GlaserPublishing Services Manager: George MorrisonProject Manager: Mónica González de MendozaAssistant Editor: Michele CroninProduction Assistant: Lianne HongComposition: Charon Tec Ltd (A Macmillan Company)Interior printer: Maple-Vail Book Manufacturing GroupCover printer: Phoenix Color Corporation

Morgan Kaufmann Publishers is an imprint of Elsevier.30 Corporate Drive, Suite 400, Burlington, MA 01803, USA

This book is printed on acid-free paper.

© 2007 by Elsevier, Inc. All rights reserved.

Designations used by companies to distinguish their products are often claimed as trademarks or registered trademarks. In all instances in which Morgan Kaufmann Publishers is aware of ...

Get Aspect-Oriented Programming with the e Verification Language now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.