TOWARD KNOWLEDGE-BASED SPECIFICATIONS OF LANGUAGES

被引：0

作者：

MERISTE, M ^{[1
]}

PENJAM, J ^{[1
]}

机构：

[1] ACAD SCI ESSSR, INST CYBERNET, TALLINN 200108, ESTONIA, USSR

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 502卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper the problem of embedding language design and implementation tools in knowledge-based systems is considered. On the one hand, this is the question of using object-oriented paradigm for the specification of a language treated as a collection of classes of concepts. On the other hand, this is the question of employing syntax-directed methods for software construction in knowledge-based systems.

引用

页码：65 / 76

页数：12

共 12 条

[1] DERANSART PL, 1988, LNCS, V323, P232
[2] SIMPLE MULTI-VISIT ATTRIBUTE GRAMMARS
ENGELFRIET, J
FILE, G
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 24 (03) : 283 - 314
[3] FILE G, 1983, ACTA INFORM, V19, P115, DOI 10.1007/BF00264472
[4] Ganzinger H., 1982, SIGPLAN Notices, V17, P172, DOI 10.1145/872726.806993
[5] COVERING AND REDUCTION PROBLEMS FOR CONTEXT-FREE GRAMMARS
GRAY, JN
HARRISON, MA
[J]. JOURNAL OF THE ACM, 1972, 19 (04) : 675 - &
[6] KOSKIMIES K, 1988, TOOLS HLP84 U HELS D
[7] KOSKIMIES K, 1982, A19822 U HELS DEP CO
[8] THE PROGRAMMING SYSTEM PRIZ
MINTS, G
TYUGU, E
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (03) : 359 - 375
[9] JUSTIFICATION OF THE STRUCTURAL SYNTHESIS OF PROGRAMS
MINTS, G
TYUGU, E
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1982, 2 (03) : 215 - 240
[10] COMPUTATIONAL AND ATTRIBUTE MODELS OF FORMAL LANGUAGES
PENJAM, J
[J]. THEORETICAL COMPUTER SCIENCE, 1990, 71 (02) : 241 - 264

← 1 2 →