ON MERGING SOFTWARE EXTENSIONS

被引：21

作者：

BERZINS, V

机构：

来源：

关键词：

D O I：

10.1007/BF00264309

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：607 / 619

页数：13

共 14 条

[1]

Birkhoff G., 1970, J COMBINATORIAL THEO, V8, P115, DOI DOI 10.1016/S0021-9800(70)80014-X

[2]

GOLDSTEIN IP, 1980, P 1 ANN C NAT ASS AR, P187

HUET, G .

[4] PROGRAMMERS WORKBENCH - MACHINE FOR SOFTWARE DEVELOPMENT [J].

IVIE, EL .

[5]

Knuth D., 1970, COMPUTATIONAL PROBLE, P263, DOI [10.1016/B978-0-08-012975-4.50028-X, DOI 10.1016/B978-0-08-012975-4.50028-X]

[6] INDUCTIVE METHODS FOR PROVING PROPERTIES OF PROGRAMS [J].

MANNA, Z ;

NESS, S ;

VUILLEMIN, J .

[7]

McCarthy J., 1963, BASIS MATH THEORY CO

[8]

Milne R.E., 1976, THEORY PROGRAMMING L

[9] DESIGNER-VERIFIERS ASSISTANT [J].

MORICONI, MS .

[10]

Rochkind M. J., 1975, IEEE Transactions on Software Engineering, VSE-1, P364, DOI 10.1109/TSE.1975.6312866