A Theory of Generic Interpreters

Phillip J. Windley. A Theory of Generic Interpreters. In George J. Milne, Laurence Pierre, editors, Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 93, Arles, France, May 24-26, 1993, Proceedings. Volume 683 of Lecture Notes in Computer Science, pages 122-134, Springer, 1993.

Abstract

Abstract is missing.