Rewriting Systems over Nested Data Words

DOI10.4230/DROPS.MEMICS.2009.2356zbMath1247.68116OpenAlexW1542412016MaRDI QIDQ2917309

Cezara Dragoi, Yan Jurski, Ahmed Bouajjani, 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

rewriting systemsprogram verificationdynamic and parametrized systemsinvariance checkingnested data words

Mathematics Subject Classification ID

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)

This page was built for publication: Rewriting Systems over Nested Data Words