Categories and Subject Descriptors D.3.1 [Prog. Lang.]: Formal Definitions and Theory General Terms Languages

by Arjun Guha , Shriram Krishnamurthi