Validating streaming JSON documents with learned VPAs
type: Item
instance of: scholarly article
title: Validating streaming JSON documents with learned VPAs
zbMATH Open document ID: 1543.68162
DOI: 10.1007/978-3-031-30823-9_14
author: Véronique Bruyère
author: G. A. Pérez
author: Gaëtan Staquet
publication date: 2023-12-13T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 68W27
zbMATH DE Number: 7777309
zbMATH Keywords: visibly pushdown automata
zbMATH Keywords: JSON
zbMATH Keywords: streaming validation
MaRDI profile type: Publication
cites work: Automata, Languages and Programming
cites work: Visibly pushdown languages
cites work: Learning regular sets from queries and counterexamples
cites work: Schemas for unordered XML on a DIME
cites work: Learning realtime one-counter automata
cites work: Learning register automata: from languages to program structures
cites work: Reasoning about XML constraints based on XML-to-relational mappings
cites work: Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5--9, 2012. Proceedings
cites work: Q3086934
description: scientific article; zbMATH DE number 7777309