Program Analysis With Regular Tree Languages

Gallagher, J. P. (Lecturer)

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