Conjunctive Grammars and Alternating Automata Tamar Aizikowitz and Michael Kaminski Technion – Israel Institute of Technology WoLLIC 2008 Heriot-Watt University.
1 Positive Properties of Context-Free languages. 2 Context-free languages are closed under: Union is context free is context-free.
1 Semantic Analysis Check semantics Error reporting Disambiguate overloaded operators Type coercion Static checking –Type checking –Control flow checking.