A METHOD FOR THE SYNTAX DIRECTED DESIGN OF MULTIPROGRAMS

被引：8

作者：

COLEMAN, D

HUGHES, JW

POWELL, MS

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1981年 / 7卷 / 02期

关键词：

D O I：

10.1109/TSE.1981.234516

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：189 / 196

页数：8

共 11 条

[1] COMPILER WRITING SYSTEM FOR ATTRIBUTE GRAMMARS [J].

BOCHMANN, GV ;

WARD, P .

COMPUTER JOURNAL, 1978, 21 (02) :144-148

[2] SYSTEMATIC DESIGN OF FILE-PROCESSING PROGRAMS [J].

COLEMAN, D .

SOFTWARE-PRACTICE & EXPERIENCE, 1977, 7 (03) :371-381

[3]

CONWAY ME, 1963, COMMUN ASS COMPUT MA, V6

[4]

DAGLESS EL, 1977, INFORMATION PROCESSI, P843

[5]

HANSEN PB, 1977, IEEE T SOFTWARE ENG, V3

[6]

HOPGOOD FRA, 1974, 1906A TREE META MANU

[7] FORMALIZATION AND EXPLICATION OF THE MICHAEL JACKSON METHOD OF PROGRAM DESIGN [J].

HUGHES, JW .

SOFTWARE-PRACTICE & EXPERIENCE, 1979, 9 (03) :191-202

[8]

Jackson M.A, 1975, PRINCIPLES PROGRAM D

[9] SYNTAX-DIRECTED TRANSDUCTION [J].

LEWIS, PM ;

STEARNS, RE .

JOURNAL OF THE ACM, 1968, 15 (03) :465-&

[10] ATTRIBUTED TRANSLATIONS [J].

LEWIS, PM ;

ROSENKRANTZ, DJ ;

STEARNS, RE .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 9 (03) :279-307

← 1 2 →