Radboud Repository (Radboud University) · 2003 · 10 citations · 0 references
ComputingComputer ScienceFormal MethodsProgramming LanguagesSoftware EngineeringAbstract Syntax TreesControl-flow AnalysisData-flow AnalysisObject-oriented ProgrammingSpecification LanguagesType SystemsAbstract SemanticsAssertion CheckingFormal SpecificationsProgram VerificationType State Analysis