Anonymous user
History variables: Difference between revisions
no edit summary
(Draft task: history variables with Protium demo code) |
No edit summary |
||
Line 6:
[http://www.bod.com/index.php?id=3435&objk_id=148050 "History Variables: The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language" by Mallon and Takaoka]
Concept also discussed on [http://lambda-the-ultimate.org/node/3111 LtU].
Task: Demonstrate History variable support:
|