Difference between revisions of "Abstract interpretation"
Jump to navigation
Jump to search
(Created page with "Abstract interpretation if a logically rigorous approach to formulate and to compute approximation using discrete symbols. Category:Lo...") |
|||
| Line 1: | Line 1: | ||
[[wikipedia:Abstract interpretation|Abstract interpretation]] if a logically rigorous approach to formulate and | [[wikipedia:Abstract interpretation|Abstract interpretation]] if a logically rigorous approach to formulate [[computable statement]]s or [[logical assertions]] with the statements being semantically [[soundness|sound]], [[precision|precise]], and [[termination|terminable]]. | ||
[[Category:Logic]] | [[Category:Logic]] | ||
Latest revision as of 04:07, 9 August 2021
Abstract interpretation if a logically rigorous approach to formulate computable statements or logical assertions with the statements being semantically sound, precise, and terminable.