The Journal of Logic Programming · 1994 · 40 citations · 75 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureProgramming LanguagesSoftware EngineeringControl-flow AnalysisData-flow AnalysisDynamic ProgrammingLogic ProgrammingRuntime EnvironmentsStatic AnalysisDynamic Code AnalysisDynamic Program AnalysisLogic Program Debugging
75