Published October 18, 2023 | Version v2
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

  • 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 contribution "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
md5:f50f8d880ce792fafe146d0d7a4f39dd
9.9 GB Download
md5:71f4b60799617c8bfdb00ed476d0acfc
15.2 kB Preview Download

Additional details

References