Abstract interpretation of indexed grammars

DOI10.1007/978-3-030-32304-2_7MaRDI QIDQ6536284zbMATH OpenFDO

Authors Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-32304-2_7

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• A descriptive characterisation of indexed grammars
• Grammars, derivation modes and properties of indexed and type-0 languages
• scientific article; zbMATH DE number 3924162

Cites work

• Abstract interpretation
• Abstract Interpretation Frameworks
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• From indexed grammars to generating functions
• Generalization of the Ginsburg-Rice Schuetzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages
• Grammar semantics, analysis and parsing by abstract interpretation
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• scientific article; zbMATH DE number 3293666 (Why is no real title available?)
• Indexed Grammars—An Extension of Context-Free Grammars
• Making abstract interpretations complete
• Modelling metamorphism by abstract interpretation
• Nested Stack Automata
• On certain formal properties of grammars
• On the relationship between indexed grammars and logic programs
• Unveiling metamorphism by abstract interpretation of code properties

Cited in

(1)

• Slice closures of indexed languages and word equations with counting constraints

This page was built for publication: Abstract interpretation of indexed grammars

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