%0 Journal Article %1 journals/pacmpl/AttoucheBCGSS24 %A Attouche, Lyes %A Baazizi, Mohamed-Amine %A Colazzo, Dario %A Ghelli, Giorgio %A Sartiani, Carlo %A Scherzinger, Stefanie %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1451-1481 %T Validation of Modern JSON Schema: Formalization and Complexity. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#AttoucheBCGSS24 %V 8

@article{journals/pacmpl/AttoucheBCGSS24, added-at = {2024-08-02T00:00:00.000+0200}, author = {Attouche, Lyes and Baazizi, Mohamed-Amine and Colazzo, Dario and Ghelli, Giorgio and Sartiani, Carlo and Scherzinger, Stefanie}, biburl = {https://www.bibsonomy.org/bibtex/27ac2745bee57dc22b01448e7037d5434/dblp}, ee = {https://doi.org/10.1145/3632891}, interhash = {c45167e35b837b385e6228905dda5e8c}, intrahash = {7ac2745bee57dc22b01448e7037d5434}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {1451-1481}, timestamp = {2024-08-05T07:06:41.000+0200}, title = {Validation of Modern JSON Schema: Formalization and Complexity.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#AttoucheBCGSS24}, volume = 8, year = 2024 }