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:
Anonymous user