Interpretational abstraction

AbstractInterpretational abstraction is proposed as a means to overcome dificiencies in cases where procedural or data abstraction are not able to express underlying concepts explicitly. Interpretational abstraction enables the software developer to modify and extend the computational meaning of a program. Following this idea substantial benefits for maintainability and flexibility of software systems can be envisioned. Application examples for Prolog show the practicability of this approach. The instrument of program transformation is used to obtain efficient programs from abstract ones