Publication | Closed Access

A machine model for aspect-oriented programming

EngineeringProgram AnalysisAutomated ReasoningFormal MethodsAspect-oriented ProgrammingSoftware EngineeringObject-oriented ProgrammingComputer ScienceProgramming MethodologySoftware AnalysisSystem SoftwareSoftware DesignMachine Model