THE PSG SYSTEM - FROM FORMAL LANGUAGE DEFINITIONS TO INTERACTIVE PROGRAMMING ENVIRONMENTS

被引：57

作者：

BAHLKE, R

SNELTING, G

机构：

[1] Technical Univ of Darmstadt, Darmstadt, West Ger, Technical Univ of Darmstadt, Darmstadt, West Ger

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1986年 / 8卷 / 04期

关键词：

All Open Access; Bronze;

D O I：

10.1145/6465.20890

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

COMPUTER SOFTWARE

引用

页码：547 / 576

页数：30

共 43 条

[1]

Aho A. V., 1979, ACM Transactions on Database Systems, V4, P297, DOI 10.1145/320083.320091

[2]

AITKACI H, 1986, 13TH P ACM S PRINC P, P219

[3] AUTOMATIC-GENERATION OF EXECUTION TOOLS IN A GANDALF ENVIRONMENT [J].

AMBRIOLA, V ;

MONTANGERO, C .

[4]

BAHLKE R, 1982, 3 P GI FACHG COMP MU, P153

[5]

BAHLKE R, 1986, UNPUB LECTURE NOTES

[6]

BAHLKE R, 1984, 4 P GI FACHG IMPL PR, P3

[7]

BAHLKE R, 1984, PU2R284 REP

[8]

BAHLKE R, 1985, ACM SIGPLAN NOTICES, V20, P28

[9]

BJORNER D, 1978, LECTURE NOTES COMPUT, V61

[10]

Bjorner D., 1982, FORMAL SPECIFICATION