Abstract interpretation of indexed grammars

DOI10.1007/978-3-030-32304-2_7zbMATH Open1539.68125MaRDI QIDQ6536284

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Publication date: 19 April 2024

Mathematics Subject Classification ID

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

Cites Work

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

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)