Colored nested words

DOI10.1007/s10703-021-00384-2zbMath1492.68076OpenAlexW4205552254MaRDI QIDQ2149962

Rajeev Alur, Dana Fisman

Publication date: 27 June 2022

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-021-00384-2

zbMATH Keywords

regularitymodel checkingnested wordsvisibly pushdown automataprograms with exceptions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• XPath

Cites Work

• Unnamed Item
• Rewriting of visibly pushdown languages for XML data integration
• Operator precedence and the visibly pushdown property
• Visibly Pushdown Transducers with Look-Ahead
• Model Checking Procedural Programs
• Query Automata for Nested Words
• Equivalence of Deterministic Nested Word to Word Transducers
• Adding nesting structure to words
• Synchronization of Grammars
• Visibly Pushdown Transducers
• Height-Deterministic Pushdown Automata
• Visibly pushdown languages
• Properties of Visibly Pushdown Transducers
• Temporal Reasoning for Procedural Programs
• Early Nested Word Automata for XPath Query Answering on XML Streams
• A fixpoint calculus for local and global program flows
• Collapsible Pushdown Automata and Recursion Schemes

This page was built for publication: Colored nested words