Parse Condition: Symbolic Encoding of LL(1) Parsing

DOI10.29007/2ndpzbMath1415.68120OpenAlexW2908124865MaRDI QIDQ5222988

Palak Agarwal, Subhajit Roy, Saket Jhunjhunwala, Dhruv Singal

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/2ndp

zbMATH Keywords

constraint solvingLL(1) parsingSMT encoding

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Symbolic encoding of LL(1) parsing and its applications