1. Problematic features of programming languages: a situational-calculus approach

   • Zohar Manna
   • Richard Waldinger

   OriginalPaper Pages: 371 - 426

2. A characterization of attribute evaluation in passes

   • Henk Alblas

   OriginalPaper Pages: 427 - 464

3. Black-white pebbles and graph separation

   • Thomas Lengauer

   OriginalPaper Pages: 465 - 475