PLI 2002 Principles, Logics, and Implementations of High-Level Programming Languages