Generating efficient computational procedures from declarative models

摘要

This paper describes a methodology and the related algorithms for the automatic generation of efficient computational procedures from models in declarative form, the latter being very suitable for a fast and easy model building. Design and implementation issues of a software tool based on object-oriented programming paradigm are also presented.