We present an extensive, annotated bibliography of the abstract machines de
signed for each of the main programming paradigms (imperative, object orien
ted, functional, logic and concurrent). We conclude that whilst a large num
ber of efficient abstract machines have been designed for particular langua
ge implementations, relatively little work has been done to design abstract
machines in a systematic fashion. (C) 2000 Elsevier Science B.V. All right
s reserved.