Pages that link to "Item:Q2640347"
From MaRDI portal
The following pages link to Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming (Q2640347):
Displaying 8 items.
- Proof methods of declarative properties of definite programs (Q685395) (← links)
- Computational and attribute models of formal languages (Q912638) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Inductive assertion method for logic pograms (Q1105352) (← links)
- Context-free hypergraph grammars have the same term-generating power as attribute grammars (Q1199703) (← links)
- Attributed tree grammars (Q1311961) (← links)
- Attribute Grammars and Categorical Semantics (Q3519507) (← links)
- Can we transform logic programs into attribute grammars ? (Q3991299) (← links)
