Abstract interpretation
Jump to navigation
Jump to search
Abstract interpretation if a logically rigorous approach to formulate computable statements or logical assertions with the statements being semantically sound, precise, and terminable.