Lectures Introduction Software Languages. Language - Languages - Software Declarative Language Definition Declarative Syntax Definition Grammars and Trees SDF3 and ATerms Declarative Semantics Definition Term Rewriting Imperative and Object-Oriented Programming Languages Static Analysis and Error Checking Code Generation Compiler Techniques Dataflow Analysis Register Allocation Garbage Collection Compiler Components and Generators Lexical Analysis Parsing Algorithms LL Parsing LR Parsing