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 条
  • [21] APEX GRAPH-GRAMMARS AND ATTRIBUTE GRAMMARS
    ENGELFRIET, J
    LEIH, G
    ROZENBERG, G
    ACTA INFORMATICA, 1988, 25 (05) : 537 - 571
  • [22] On generalization of attribute grammars
    Kikuchi, Y
    Katayama, T
    SYSTEMS AND COMPUTERS IN JAPAN, 1996, 27 (09) : 33 - 42
  • [23] Monadification of Attribute Grammars
    Michaelson, Dawn
    Van Wyk, Eric
    PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2020, 2020, : 175 - 195
  • [24] ATTRIBUTE COUPLED GRAMMARS
    GANZINGER, H
    GIEGERICH, R
    SIGPLAN NOTICES, 1984, 19 (06): : 157 - 170
  • [25] Conditional attribute grammars
    Boyland, JT
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (01): : 73 - 108
  • [26] Reflection in Attribute Grammars
    Kramer, Lucas
    Kaminski, Ted
    Van Wyk, Eric
    PROCEEDINGS OF THE 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES (GPCE '19), 2019, : 48 - 60
  • [27] GUARDED ATTRIBUTE GRAMMARS
    FROST, RA
    SOFTWARE-PRACTICE & EXPERIENCE, 1993, 23 (10): : 1139 - 1156
  • [28] MACHINES FOR ATTRIBUTE GRAMMARS
    FILE, G
    INFORMATION AND CONTROL, 1986, 69 (1-3): : 41 - 124
  • [29] INTRODUCTION TO ATTRIBUTE GRAMMARS
    ALBLAS, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 545 : 1 - 15
  • [30] A METHODOLOGY FOR CONCEPTUAL REPRESENTATION OF KNOWLEDGE USING ATTRIBUTE GRAMMARS
    VOUROS, GA
    SPYROPOULOS, CD
    ANGEWANDTE INFORMATIK, 1989, (07): : 287 - 293
12345