@article{JiaKT23TOPLAS,
  author    = {Xiaodong Jia and
               Ashish Kumar and
               Gang Tan},
  title     = {A derivative-based parser generator for visibly pushdown grammars},
  journal   = {ACM Transactions on Programming Languages and Systems ({TOPLAS})},
  volume    = {45},
  issue     = {2},
  number    = {9},
  pages     = {1--68},
  year      = {2023},
  url_Paper = {https://dl.acm.org/doi/10.1145/3591472},
  keywords  = {Formal Methods -> Parser Assurance}
}

{"_id":"MkHvgLAqDy3ZMKBeg","bibbaseid":"jia-kumar-tan-aderivativebasedparsergeneratorforvisiblypushdowngrammars-2023","author_short":["Jia, X.","Kumar, A.","Tan, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Xiaodong"],"propositions":[],"lastnames":["Jia"],"suffixes":[]},{"firstnames":["Ashish"],"propositions":[],"lastnames":["Kumar"],"suffixes":[]},{"firstnames":["Gang"],"propositions":[],"lastnames":["Tan"],"suffixes":[]}],"title":"A derivative-based parser generator for visibly pushdown grammars","journal":"ACM Transactions on Programming Languages and Systems (TOPLAS)","volume":"45","issue":"2","number":"9","pages":"1–68","year":"2023","url_paper":"https://dl.acm.org/doi/10.1145/3591472","keywords":"Formal Methods -> Parser Assurance","bibtex":"@article{JiaKT23TOPLAS,\n author = {Xiaodong Jia and\n Ashish Kumar and\n Gang Tan},\n title = {A derivative-based parser generator for visibly pushdown grammars},\n journal = {ACM Transactions on Programming Languages and Systems ({TOPLAS})},\n volume = {45},\n issue = {2},\n number = {9},\n pages = {1--68},\n year = {2023},\n url_Paper = {https://dl.acm.org/doi/10.1145/3591472},\n keywords = {Formal Methods -> Parser Assurance}\n}\n\n","author_short":["Jia, X.","Kumar, A.","Tan, G."],"key":"JiaKT23TOPLAS","id":"JiaKT23TOPLAS","bibbaseid":"jia-kumar-tan-aderivativebasedparsergeneratorforvisiblypushdowngrammars-2023","role":"author","urls":{" paper":"https://dl.acm.org/doi/10.1145/3591472"},"keyword":["Formal Methods -> Parser Assurance"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"article","biburl":"https://raw.githubusercontent.com/gangtan/gtanbib/main/mypapers.bib","dataSources":["qbRxtdgQ5NSdrSiX3"],"keywords":["formal methods -> parser assurance"],"search_terms":["derivative","based","parser","generator","visibly","pushdown","grammars","jia","kumar","tan"],"title":"A derivative-based parser generator for visibly pushdown grammars","year":2023,"downloads":1}