1. Preface

   • Amy P. Felty

   Preface Pages: 189 - 190

2. A Syntactic Approach to Foundational Proof-Carrying Code

   • Nadeem A. Hamid
   • Zhong Shao
   • Zhaozhong Ni

   OriginalPaper Pages: 191 - 229

3. A Trustworthy Proof Checker

   • Andrew W. Appel
   • Neophytos Michael
   • Roberto Virga

   OriginalPaper Pages: 231 - 260

4. Heap-Bounded Assembly Language

   • David Aspinall
   • Adriana Compagnoni

   OriginalPaper Pages: 261 - 302

5. Lightweight Bytecode Verification

   • Eva Rose

   OriginalPaper Pages: 303 - 334

6. Trust and Partial Typing in Open Systems of Mobile Agents

   • James Riely
   • Matthew Hennessy

   OriginalPaper Pages: 335 - 370

7. Author Index to Volume 31

   Authors Index Pages: 371 - 371

8. Subject Index to Volume 31

   Subject Index Pages: 373 - 373

9. Contents to Volume 31

   Volume Contents Pages: 375 - 376