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 条
  • [31] Implementation of a Modelica compiler using JastAdd attribute grammars
    Akesson, Johan
    Ekman, Torbjoern
    Hedin, Gorel
    SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (1-2) : 21 - 38
  • [32] Embedding attribute grammars and their extensions using functional zippers
    Martins, Pedro
    Fernandes, Joao Paulo
    Saraiva, Joao
    Van Wyk, Eric
    Sloane, Anthony
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 132 : 2 - 28
  • [33] Continuous Model Validation using Reference Attribute Grammars
    Mey, Johannes
    Schone, Rene
    Hedin, Gorel
    Soderberg, Emma
    Kuehn, Thomas
    Fors, Niklas
    Oqvist, Jesper
    Assmann, Uwe
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING (SLE '18), 2018, : 70 - 82
  • [34] RELATING ATTRIBUTE GRAMMARS AND LEXICAL-FUNCTIONAL GRAMMARS
    NISHINO, T
    INFORMATION SCIENCES, 1992, 66 (1-2) : 1 - 22
  • [35] Web Interface Interpretation Using Graph Grammars
    Kong, Jun
    Barkol, Omer
    Bergman, Ruth
    Pnueli, Ayelet
    Schein, Sagi
    Zhang, Kang
    Zhao, Chunying
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2012, 42 (04): : 590 - 602
  • [36] EVALUATION OF ATTRIBUTES IN ATTRIBUTE GRAMMARS
    KUROCHKIN, VM
    PROGRAMMING AND COMPUTER SOFTWARE, 1995, 21 (03) : 109 - 112
  • [37] A GLOBALIZING TRANSFORMATION FOR ATTRIBUTE GRAMMARS
    RAIHA, KJ
    TARHIO, J
    SIGPLAN NOTICES, 1986, 21 (07): : 74 - 84
  • [38] ATTRIBUTE GRAMMARS AS A SPECIFICATION METHOD
    KASTENS, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 545 : 16 - 47
  • [39] Zipping Strategies and Attribute Grammars
    Macedo, Jose Nuno
    Viera, Marcos
    Saraiva, Joao
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2022, 2022, 13215 : 112 - 132
  • [40] THE AUTOMATIC INVERSION OF ATTRIBUTE GRAMMARS
    YELLIN, DM
    MUECKSTEIN, EMM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (05) : 590 - 599
12345