Static Analysisde Markus Müller-Olm, Helmut SeidlMateriasComputer programmingProgramming languages (electronic computers)Software engineeringComputer scienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersMathematical Logic and Formal Languages