History Variables - The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language

By Tadao Takaoka and Ryan Mallon

Storing the history of objects in a program is a common task. Maintaining the history of an object in a program has traditionally required programmers either to write specific code for handling the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3639021908
• ISBN13: 9783639021905
• Release Date: June 2008
• Publisher: VDM Verlag Dr. Mueller E.K.
• Length: 168 Pages
• Weight: 0.51 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"