Volume 31, Issue 3-4

November 2003

9 articles in this issue

Preface
Amy P. Felty
Preface Pages: 189 - 190
A Syntactic Approach to Foundational Proof-Carrying Code
Nadeem A. Hamid
Zhong Shao
Zhaozhong Ni
OriginalPaper Pages: 191 - 229
A Trustworthy Proof Checker
Andrew W. Appel
Neophytos Michael
Roberto Virga
OriginalPaper Pages: 231 - 260
Heap-Bounded Assembly Language
David Aspinall
Adriana Compagnoni
OriginalPaper Pages: 261 - 302
Lightweight Bytecode Verification
Eva Rose
OriginalPaper Pages: 303 - 334
Trust and Partial Typing in Open Systems of Mobile Agents
James Riely
Matthew Hennessy
OriginalPaper Pages: 335 - 370
Author Index to Volume 31

Authors Index Pages: 371 - 371
Subject Index to Volume 31

Subject Index Pages: 373 - 373
Contents to Volume 31

Volume Contents Pages: 375 - 376

Search