POPL '97: the 24th ACM SIGPLAN-SIGACT symposium on principles of programming languages: papers presented at the symposium : Paris, France 15-17 January 1997. (ACM,Inc, 1997)