%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-02-10T00:00:00.000+0100}, 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/2b154b7d123bf73c2d70868490b198059/dblp}, ee = {https://doi.org/10.1145/3632891}, interhash = {c45167e35b837b385e6228905dda5e8c}, intrahash = {b154b7d123bf73c2d70868490b198059}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {1451-1481}, timestamp = {2024-04-08T09:54:16.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 }