Pages that link to "Item:Q655410"
From MaRDI portal
The following pages link to Grammar semantics, analysis and parsing by abstract interpretation (Q655410):
Displaying 11 items.
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Syntactical analysis using cell automaton grammars (Q1108047) (← links)
- Computing abstract decorations of parse forests using dynamic programming and algebraic power series (Q1129128) (← links)
- Meaning and formal semantics in generative grammar (Q1709043) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- An abstract interpretation-based model for safety semantics (Q2995468) (← links)
- SOME FORMAL PROPERTIES OF INDIRECT SEMANTICS (Q3727964) (← links)
- (Q4040284) (← links)
- Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta. (Q4923520) (← links)
- (Q5015099) (← links)
- Abstract interpretation of indexed grammars (Q6536284) (← links)