Program Analysis With Regular Tree Languages

Activity: Talk or presentationLecture and oral contribution

Description

Invited talk, 21st International Symposium on Logic-Based Program Synthesis and Transformation
Period19 Jul 2011
Held atUnknown external organisation

Keywords

  • Program analysis