Reexecution in Abstract Interpretation of Prolog.
作者： Pascal Van Hentenryck , Baudouin Le Charlier
DOI:
关键词: Prolog 、 Logic programming 、 Abstract interpretation 、 Referential transparency 、 Literal (mathematical logic) 、 Linguistics 、 Computer science 、 Meaning (existential) 、 Property (philosophy)
摘要: Logic programming, because of referential transparency, enjoys the property that a literal may be reexecuted finitely often without affecting meaning program. This property, although not interesting computationally in general, can exploited abstract interpretation to improve accuracy analysis, as noted by Bruynooghe [6].
参考文章(0)