SYNTAX-DIRECTED, SEMANTICS-SUPPORTED PROGRAM SYNTHESIS

被引：17

作者：

BIBEL, W

机构：

来源：

ARTIFICIAL INTELLIGENCE | 1980年 / 14卷 / 03期

关键词：

D O I：

10.1016/0004-3702(80)90050-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：243 / 261

页数：19

相关论文

共 25 条

[1]

Aho A. V., 1974, DESIGN ANAL COMPUTER

[2]

BARSTOW DR, 1977, THESIS STANFORD

[3]

BIBEL W, 1978, P AISB GI C ARTIFICI, P22

[4]

BIBEL W, 1978, INFORMATIK FACHBERIC, V12, P97

[5]

BIBEL W, 1975, LNCS, V33, P274

[6]

BIBEL W, 1979, 4TH P WORKSH AUT DED, P140

[7]

BIBEL W, 1979, 80 U KARLSR ANG INF

[8]

BIBEL W, 1976, 7610 TU MUNCH FB MAT

[9]

BIBEL W, 1976, 7633 TU MUNCH FB MAT

[10]

Brainerd W. S., 1974, THEORY COMPUTATION