Inproceedings,

Verification of Attribute Grammars.

, and .
POPL, page 177-186. ACM Press, (1981)

Meta data

Tags

Users

  • @dblp
  • @dparigot

Comments and Reviews