The following pages link to Gilberto File (Q584933):
Displayed 24 items.
- Simple multi-visit attribute grammars (Q584934) (← links)
- (Q1128981) (redirect page) (← links)
- The quotient of an abstract interpretation (Q1128983) (← links)
- The formal power of one-visit attribute grammars (Q1157968) (← links)
- Interpretation and reduction of attribute grammars (Q1172398) (← links)
- Graph properties for normal logic programs (Q1208418) (← links)
- The powerset operator on abstract interpretations (Q1960538) (← links)
- (Q3026365) (← links)
- Optimal groundness analysis using propositional logic (Q3129500) (← links)
- On the design of a correct freeness analysis for logic programs (Q3129510) (← links)
- Passes, sweeps, and visits in attribute grammars (Q3474899) (← links)
- (Q3741087) (← links)
- Machines for attribute grammars (Q3753513) (← links)
- (Q3759966) (← links)
- (Q3779770) (← links)
- (Q3787511) (← links)
- The relation of two patterns with comparable languages patterns (Q3816995) (← links)
- (Q3832076) (← links)
- (Q3890134) (← links)
- (Q3917507) (← links)
- Passes and paths of attribute grammars (Q3926051) (← links)
- (Q4282511) (← links)
- Sharing is optimal (Q4719370) (← links)
- Comparison of abstract interpretations (Q5204344) (← links)