Bottom-up abstract interpretation of logic programs - Concepedia

Concepedia

Publication | Open Access

Bottom-up abstract interpretation of logic programs

DOI Full Paper Access

59

Citations

22

References

1994

Year

Michael Codish, Dennis Dams, Eyal Yardeni

Theoretical Computer Science

EngineeringOperational SemanticsAutomated ReasoningFormal MethodsLogic ProgramsWell-founded SemanticsSemanticsLogic Programming

References

	Year	Citations

Page 1