Pages that link to "Item:Q754662"

The following pages link to Correctness proofs of syntax-directed processing descriptions by attributes (Q754662):

Displaying 2 items.

• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming (Q2640347) (← links)
• Semantic equivalence of covering attribute grammars (Q3862455) (← links)