Abstract machines for programming language implementation

被引：31

作者：

Diehl, S

Hartel, P

Sestoft, P

机构：

[1] Univ Saarland, FB Informat 14, D-66041 Saarbrucken, Germany

[2] Univ Southampton, Dept Elect & Comp Sci, Southampton SO17 1BJ, Hants, England

[3] Royal Vet & Agr Univ, Dept Math & Phys, DK-1871 Frederiksberg C, Denmark

来源：

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE | 2000年 / 16卷 / 07期

关键词：

abstract machine; compiler design; programming language; intermediate language;

D O I：

10.1016/S0167-739X(99)00088-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present an extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent). We conclude that whilst a large number of efficient abstract machines have been designed for particular language implementations, relatively little work has been done to design abstract machines in a systematic fashion. (C) 2000 Elsevier Science B.V. All rights reserved.

引用

页码：739 / 751

页数：13