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

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

Read full text
Authors: Walter Schulze, Paul Cadman
DOI: 10.5281/zenodo.18503693
Cited by: 0

Abstract

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

Fields of Study & Subjects

Advanced Database Systems and Queries Logic programming and type systems Formal Methods in Verification

Publication details

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