Author:
Coelho Fabien,Yannou-Medrala Claire
Publisher
Springer Nature Switzerland
Reference21 articles.
1. Andrei, C., Florescu, D., Fourny, G., Robie, J., Velikhov, P.: JSound 2.0 – the complete reference (2018). https://jsound-spec.org
2. Attouche, L., Baazizi, M.A., Colazzo, D., Ghelli, G., Sartiani, C., Scherzinger, S.: Validation of modern JSON schema: formalization and complexity. In: Proceedings of POPL. ACM (2024)
3. Lecture Notes in Computer Science;M-A Baazizi,2021
4. Baazizi, M.A., Colazzo, D., Ghelli, G., Sartiani, C., Scherzinger, S.: Negation-closure for JSON Schema. Theoret. Comput. Sci. 955, 113823 (2023)
5. Lecture Notes in Computer Science;G Bierman,2014