Date: Fri, 6 Oct 2000 17:39:03 -0700 (PDT) From: Zhendong Su <zhendong@EECS.Berkeley.EDU> Subject: papers in a4 converted to letter Message-ID: <Pine.LNX.4.10.10010061732090.26191-100000@otter.cs.berkeley.edu> For your convenience, 1. Thomas Colcombet, Pascal Fradet "Enforcing Trace Properties by Program Transformation" at: http://www.cs.berkeley.edu/~zhendong/tmp/popl00-cf.ps 2. P. Fradet, D. Le Mtayer. "Shape types" at: http://www.cs.berkeley.edu/~zhendong/tmp/pfdlm-popl97.ps -- Zhendong
This archive was generated by hypermail 2b30 : 11/04/02 PST