Validation of Modern JSON Schema: Formalization and Complexity

Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger. Validation of Modern JSON Schema: Formalization and Complexity. Proceedings of the ACM on Programming Languages, 8(POPL):1451-1481, January 2024. [doi]

Authors

Lyes Attouche

This author has not been identified. Look up 'Lyes Attouche' in Google

Mohamed Amine Baazizi

This author has not been identified. Look up 'Mohamed Amine Baazizi' in Google

Dario Colazzo

This author has not been identified. Look up 'Dario Colazzo' in Google

Giorgio Ghelli

This author has not been identified. It may be one of the following persons: Look up 'Giorgio Ghelli' in Google

Carlo Sartiani

This author has not been identified. Look up 'Carlo Sartiani' in Google

Stefanie Scherzinger

This author has not been identified. Look up 'Stefanie Scherzinger' in Google