next up previous contents
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.