Journal of Systems and Software · 1983 · 41 citations · 9 references
ComputingComputer EngineeringComputer ScienceProgramming LanguagesSoftware EngineeringAbstract Syntax TreesData-flow AnalysisIntermediate RepresentationAutomated DebuggingDebuggingDebugging SupportDebugging TechniquesFormal Debugging
9
Richard F. Rashid, George G. Robertson · ACM SIGOPS Operating Systems Review · 1981 · 309 citations
An approach to software system behavior description
William E. Riddle · Computer Languages · 1979 · 30 citations