Rewriting systems over nested data words

DOI10.4230/DROPS.MEMICS.2009.2356MaRDI QIDQ2917309zbMATH OpenOpenAlexFDO

Authors Ahmed Bouajjani, Cezara Drăgoi, Yan Jurski, Mihaela Sighireanu

Publication date 28 September 2012

Full work available at URL https://dblp.uni-trier.de/db/conf/memics/memics2009.html#BouajjaniDJS09

zbMATH Keywords

dynamic and parametrized systemsinvariance checkingnested data wordsprogram verificationrewriting systems

Mathematics Subject Classification ID

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

• Rewriting Systems with Data
• Adding nesting structure to words
• scientific article; zbMATH DE number 1754582
• Marrying Words and Trees
• Marrying Words and Trees

Cited in

(5)

• n-level rewriting systems
• On Bifix Systems and Generalizations
• Computing with rewrite systems
• Word Matrix Rewriting Systems
• Rewriting Systems with Data

This page was built for publication: Rewriting systems over nested data words

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