Elimination of annotation dependencies in validation for Modern JSON Schema

DOI10.1016/J.TCS.2025.115645MaRDI QIDQ6879030zbMATH OpenFDO

Authors Lyes Attouche, Mohamed-Amine Baazizi, D. Colazzo, G. Ghelli, Stefan Klessinger, C. Sartiani, Stefanie Scherzinger

Publication date 5 January 2026

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2025.115645

zbMATH Keywords

JSON Schemaschema languagesschema rewritingtype theoryvalidation

Mathematics Subject Classification ID

Theory of software (68N99)

Cites work

• Negation-closure for JSON schema

This page was built for publication: Elimination of annotation dependencies in validation for Modern JSON Schema

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6879030)