OPERATOR PRECEDENCE GRAMMARS AND THE NON-COUNTING PROPERTY

被引:6
|
作者
CRESPIREGHIZZI, S
GUIDA, G
MANDRIOLI, D
机构
关键词
D O I
10.1137/0210013
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:174 / 191
页数:18
相关论文
共 50 条
  • [31] BOOLEAN MATRIX METHODS FOR DETECTION OF SIMPLE PRECEDENCE GRAMMARS
    MARTIN, DF
    COMMUNICATIONS OF THE ACM, 1968, 11 (10) : 685 - &
  • [32] Double Greibach operator grammars
    Kim, C
    THEORETICAL COMPUTER SCIENCE, 2001, 250 (1-2) : 247 - 264
  • [33] EXTENDED OPERATOR PRECEDENCE PARSING ALGORITHM
    HENDERSON, DS
    LEVY, MR
    COMPUTER JOURNAL, 1976, 19 (03): : 229 - 233
  • [34] CONDITIONS FOR EXTENDED OPERATOR PRECEDENCE PARSING
    WILLIAMS, MH
    COMPUTER JOURNAL, 1979, 22 (02): : 164 - 168
  • [35] Safe Specification of Operator Precedence Rules
    Afroozeh, Ali
    van den Brand, Mark
    Johnstone, Adrian
    Scott, Elizabeth
    Vinju, Jurgen
    SOFTWARE LANGUAGE ENGINEERING (SLE 2013), 2013, 8225 : 137 - 156
  • [36] ALGEBRAIC PROPERTIES OF OPERATOR PRECEDENCE LANGUAGES
    CRESPIREGHIZZI, S
    MANDRIOLI, D
    MARTIN, DF
    INFORMATION AND CONTROL, 1978, 37 (02): : 115 - 133
  • [37] A SYSTEMATIC TEST FOR EXTENDED OPERATOR PRECEDENCE
    WILLIAMS, MH
    INFORMATION PROCESSING LETTERS, 1981, 13 (4-5) : 187 - 190
  • [38] A Model Checker for Operator Precedence Languages
    Chiari, Michele
    Mandrioli, Dino
    Pontiggia, Francesco
    Pradella, Matteo
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023, 45 (03):
  • [39] COUNTING POLYOMINOES USING ATTRIBUTE GRAMMARS
    DELEST, MP
    FEDOU, JM
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 461 : 46 - 60
  • [40] PROPERTY GRAMMARS AND TABLE MACHINES
    STEARNS, RE
    LEWIS, PM
    INFORMATION AND CONTROL, 1969, 14 (06): : 524 - +