Colored nested words

DOI10.1007/S10703-021-00384-2MaRDI QIDQ2149962zbMATH OpenOpenAlexFDO

Authors 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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Colored Nested Words
• Adding nesting structure to words
• Adding Nesting Structure to Words
• Marrying Words and Trees
• Marrying Words and Trees

Cites work

• A fixpoint calculus for local and global program flows
• Adding nesting structure to words
• Collapsible pushdown automata and recursion schemes
• Early Nested Word Automata for XPath Query Answering on XML Streams
• Equivalence of Deterministic Nested Word to Word Transducers
• Height-Deterministic Pushdown Automata
• Model checking procedural programs
• Operator precedence and the visibly pushdown property
• Properties of visibly pushdown transducers
• Query Automata for Nested Words
• Rewriting of visibly pushdown languages for XML data integration
• Streamability of nested word transductions
• Synchronization of Grammars
• Temporal reasoning for procedural programs
• Visibly Pushdown Transducers
• Visibly pushdown languages
• Visibly pushdown transducers with look-ahead

Cited in

(3)

• Colored Nested Words
• Adding Nesting Structure to Words
• Adding nesting structure to words

Describes a project that uses

Uses Software

• XPath

This page was built for publication: Colored nested words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2149962)