The Journal of Logic Programming · 1988 · 103 citations · 12 references
Computational LogicDeclarative ProgrammingEngineeringProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisParallel ProgrammingComputer ScienceTransparent Prolog MachineDebuggerFormal VerificationSymbolic ExecutionSystem SoftwareLogic ProgrammingExecution Model
12