compiler compiler design compilers software engineering computing c (programming language) programming language implementation compiler theory dragon book (computer science) syntax alfred aho principles of compiler design automata computation graph theory introduction introduction to algorithms language mathematics theory of computation automata theory programming paradigms formal languages theoretical computer science introduction to automata theory, languages, and computation computer software compiler correctness anil nerode database database management systems storage computer science data management databases application software object-relational impedance mismatch object database computer programming