Most specific logic programs

The Ecce and Logen partial evaluators and their web interfaces

“…Various abstract interpretation techniques have been integrated into ECCE (more specific version calculation [37] in [25], and regular types in [27]). It is also possible to develop custom local and global control predicates, as well as override various other components of ECCE.…”

“…Most Specific Version Computes the most specific version [37] of the program, by performing a bottom-up abstract interpretation, keeping a single success pattern per predicate and using the msg to combine multiple success patterns. This can also be run automatically as a post-processing, as described in [25].…”

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

“…This program contains no facts and a simple bottom-up post-processing (e.g., the one implemented in ecce based upon [41]) can infer that sync trace fails.…”

Advanced Logic Program Specialisation

“…Let us illustrate how conjunctive partial deduction combined with a simple abstract interpretation technique from [36] does solve Ex. 8.…”

“…It is here that abstract interpretation comes to the rescue, as it can infer information about an infinite number of different computation paths. One way [36] [36] we can actually use this program in place of the original residual program delivered by conjunctive partial deduction (computed answers and finite failure is preserved; however, infinite failure might be replaced by finite one).…”