ABSTRACT INTERPRETATION USING ATTRIBUTE GRAMMARS

被引：0
|
作者：
ROSENDAHL, M [1 ]
机构：
[1] UNIV CAMBRIDGE, COMP LAB, CAMBRIDGE CB2 3QG, ENGLAND
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 461卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：143 / 156
页数：14
相关论文
共 50 条
  • [41] TESTING ATTRIBUTE GRAMMARS FOR CIRCULARITY
    RAIHA, KJ
    SAARINEN, M
    ACTA INFORMATICA, 1982, 17 (02) : 185 - 192
  • [42] ATTRIBUTE GRAMMARS AND DATAFLOW COMPUTING
    PAPAKONSTANTINOU, G
    TSANAKAS, P
    INFORMATION AND SOFTWARE TECHNOLOGY, 1988, 30 (05) : 306 - 313
  • [43] ERROR RECOVERY WITH ATTRIBUTE GRAMMARS
    BOCCALATTE, A
    DIMANZO, M
    SCIARRA, D
    COMPUTER JOURNAL, 1982, 25 (03): : 331 - 337
  • [44] PASSES AND PATHS OF ATTRIBUTE GRAMMARS
    ENGELFRIET, J
    FILE, G
    INFORMATION AND CONTROL, 1981, 49 (02): : 125 - 169
  • [45] PARALLEL EVALUATION OF ATTRIBUTE GRAMMARS
    KLAIBER, A
    GOKHALE, M
    PROCEEDINGS OF THE 1989 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, VOL 3: ALGORITHMS AND APPLICATIONS, 1989, : 193 - 201
  • [46] A pure embedding of attribute grammars
    Sloane, Anthony M.
    Kats, Lennart C. L.
    Visser, Eelco
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (10) : 1752 - 1769
  • [47] A functional semantics of attribute grammars
    Backhouse, K
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 142 - 157
  • [48] Modular Natural Language Processing Using Declarative Attribute Grammars
    Hafiz, Rahmatullah
    Frost, Richard A.
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PT I, 2011, 7094 : 291 - 304
  • [49] On Verification of Workflow and Planning Domain Models Using Attribute Grammars
    Bartak, Roman
    Dvorak, Tomas
    ADVANCES IN COMPUTATIONAL INTELLIGENCE, MICAI 2016, PT I, 2017, 10061 : 332 - 345
  • [50] USING THE GENERATIVE ASPECT OF ATTRIBUTE GRAMMARS IN A KNOWLEDGE BASED WAY
    FORBRIG, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 545 : 438 - 459
12345