katydid/paper-2026-verified-filter-testsuite: archive for paper

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Walter Schulze, Izak Lukas Marais
DOI: 10.5281/zenodo.18503657
Cited by: 0

Abstract

Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (TestSuite)

Fields of Study & Subjects

Advanced Database Systems and Queries Logic programming and type systems Semantic Web and Ontologies

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
6 February 2026