History Variables
The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language
(Sprache: Englisch)
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 historical data, or to use a library which supports history...
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
68.00 €
Produktdetails
Produktinformationen zu „History Variables “
Klappentext zu „History Variables “
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 historical data, or to use a library which supports history logging. History variables are variables in a programming language which store not only their current value, but also the values they have contained in the past. Some existing languages do provide support for history variables. However these languages typically have many limits and restrictions on use of history variables. In this thesis we discuss a complete implementation of history variables in an imperative programming language. We discuss the semantics of history variables for scalar types, arrays, pointers, strings, and user defined types. Using the mathematical system of Hoare logic we formally prove the correctness of our informal semantics.We also develop an experimental compiler with support for history variables.The compiler allows us to investigate the practical aspects of implementing history variables and to compare the performance of history variables with their non-history counterparts.
Autoren-Porträt von Ryan Mallon, Tadao Takaoka
Mallon, RyanRyan graduated from the University of Canterbury in 2007 with a Masters in programming language theory. He is currently working as an embedded software engineer doing Linux kernel development.Takaoka, Tadao
Ryan graduated from the University of Canterbury in 2007 with a Masters in programming language theory. He is currently working as an embedded software engineer doing Linux kernel development.
Bibliographische Angaben
- Autoren: Ryan Mallon , Tadao Takaoka
- 2008, 168 Seiten, Maße: 15 x 22 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller e.K.
- ISBN-10: 3639021908
- ISBN-13: 9783639021905
Sprache:
Englisch
Kommentar zu "History Variables"
0 Gebrauchte Artikel zu „History Variables“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "History Variables".
Kommentar verfassen