Loading...
Please wait, while we are loading the content...
Similar Documents
Logic program specialisation: How to be more specific (1996)
| Content Provider | CiteSeerX |
|---|---|
| Author | Leuschel, Michael Schreye, Danny De |
| Description | PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PROGRAMMING LANGUAGES, IMPLEMENTATIONS, LOGICS AND PROGRAMS (PLILP'96), LNCS 1140 |
| Abstract | Standard partial deduction suffers from several drawbacks when compared to top-down abstract interpretation schemes. Conjunctive partial deduction, an extension of standard partial deduction, remedies one of those, namely the lack of side-ways information passing. But two other problems remain: the lack of success-propagation as well as the lack of inference of global success-information. We illustrate these drawbacks and show how they can be remedied by combining conjunctive partial deduction with an abstract interpretation technique known as more specific program construction. We present a simple, as well as a more refined integration of these methods. Finally we illustrate the practical relevance of this approach for some advanced applications, where it surpasses the precision of current abstract interpretation techniques. |
| File Format | |
| Publisher Date | 1996-01-01 |
| Access Restriction | Open |
| Subject Keyword | Several Drawback Practical Relevance Global Success-information Advanced Application Abstract Interpretation Technique Top-down Abstract Interpretation Scheme Refined Integration Current Abstract Interpretation Technique Side-ways Information Passing Standard Partial Deduction Logic Program Specialisation Standard Partial Deduction Suffers Conjunctive Partial Deduction Specific Program Construction |
| Content Type | Text |
| Resource Type | Proceeding Conference Proceedings |
