UPDATE PLANS

Abstract

In recent years many abstract machines have been introduced. In this paper a description language for abstract machines is presented. A formal semantics for this language is defined, and some implementation questions are raised. A few simple examples are given. The language presented has similarities to graph rewrite systems, and also to classi- cal assembler languages. It could provide a meeting point for formal and implementational specifications.