Published October 9, 2023
| Version 1
Software
Open
Validation of Modern JSON Schema: Formalization and Complexity
Authors/Creators
- 1. Université Paris-Dauphine
- 2. Sorbonne Université
- 3. Università di Pisa
- 4. Università della Basilicata
- 5. University of Passau
Contributors
Others:
- 1. Université Paris-Dauphine
- 2. Sorbonne Université
- 3. Università di Pisa
- 4. University of Passau
- 5. Università della Basilicata
Description
Artifact evaluation package for the POPL'24 submission "Validation of Modern JSON Schema: Formalization and Complexity" by Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, and Stefanie Scherzinger.
All artifacts (source code, data, scripts) are packaged in a virtual machine running Ubuntu Linux, which can be run using VirtualBox. The README.md file contains the instructions.
Files
README.md
Files
(9.9 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:f50f8d880ce792fafe146d0d7a4f39dd
|
9.9 GB | Download |
|
md5:f380cbaa2cc319536f6052fddedc4af4
|
15.2 kB | Preview Download |
Additional details
References
- Technical report available on ArXiv: https://arxiv.org/abs/2307.10034