ComputingComputer EngineeringComputer ScienceProgramming LanguagesSemanticsSoftware EngineeringControl-flow AnalysisData-flow AnalysisFormal Language FoundationsSemantic AnalysisSoftware ArchitectureType SystemsAbstract SemanticsOperational SemanticsProgram VerificationRuntime SemanticsStructural Operational Semantics