Next: Università di Pisa
Up: KTH
Previous: Persons and exchanges
[[Cou90]]
B. Courcelle.
Recursive applicative program schemes.
In J. van Leeuwen, editor, Handbook of Theoretical Computer
Science, chapter 9, pages 459-492. Elsevier Science Publishers B. V., 1990.
[[Lisp98]]
B. Lisper.
Computing in unpredictable environments: Semantics, reduction
strategies, and program transformations.
Theoretical Comput. Sci., 190(1):61-85, Jan. 1998.
[[PV97]]
J. Parrow and B. Victor.
The update calculus (full version).
Technical Report DoCS 97/93, Department of Computer Systems, Uppsala
University, Sweden, Sept. 1997.
Extended abstract to appear in the proceedings of AMAST'97.