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 条

[1] ABSTRACT ATTRIBUTE GRAMMARS
VOOGLAID, AO
MERISTE, MB
PROGRAMMING AND COMPUTER SOFTWARE, 1982, 8 (05) : 242 - 251
[2] INTERPRETATION AND REDUCTION OF ATTRIBUTE GRAMMARS
FILE, G
ACTA INFORMATICA, 1983, 19 (02) : 115 - 150
[3] Abstract Interpretation of Indexed Grammars
Campion, Marco
Dalla Preda, Mila
Giacobazzi, Roberto
STATIC ANALYSIS (SAS 2019), 2019, 11822 : 121 - 139
[4] Abstract Interpretation of Functional Programs using an Attribute Grammar System
Fokker, Jeroen
Swierstra, S. Doaitse
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (05) : 117 - 133
[5] Protocol Normalization Using Attribute Grammars
Davidson, Drew
Smith, Randy
Doyle, Nic
Jha, Somesh
COMPUTER SECURITY - ESORICS 2009, PROCEEDINGS, 2009, 5789 : 216 - +
[6] COUNTING POLYOMINOES USING ATTRIBUTE GRAMMARS
DELEST, MP
FEDOU, JM
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 461 : 46 - 60
[7] THE INTERPRETATION OF META GRAMMARS DESCRIBING SYNTAX-DIRECTED INTERPRETERS USING AN ATTRIBUTE GRAMMAR INTERPRETER
KONTOS, J
PAPAKONSTANTINOU, GK
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (04) : 435 - 436
[8] Using grammars for scene interpretation
Christensen, HI
Matas, J
Kittler, J
INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS - VOL II, 1996, : 793 - 796
[9] Evolving neural networks using attribute grammars
Hussain, TS
Browse, RA
2000 IEEE SYMPOSIUM ON COMBINATIONS OF EVOLUTIONARY COMPUTATION AND NEURAL NETWORKS, 2000, : 37 - 42
[10] GENERATING DISPLAYS FOR SPECIFICATIONS USING ATTRIBUTE GRAMMARS
BERZINS, V
LEE, YJ
LUQI
PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 596 - 602

← 1 2 3 4 5 →