@TECHREPORT{R-95-45, PSURL = {/publications/cgi-bin/tr-fetch.pl?r-95-45+ps}, NUMBER = {R-95-45}, INSTITUTION = ida, ADDRESS = idaaddr, YEAR = {1995}, AUTHOR = {Degerstedt, Lars}, TITLE = {Declarative Development of Abstract Machines -- A Case Study in Bottom-up Execution for Logic Databases}, ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-95-45+abstr}, ABSTRACT = {We propose a new declarative method for development of abstract machines. Using this method the abstract machine can be designed by means of stepwise refinement of both control and data representation. The approach is declarative in the sense that each refinement of the initial computational model respects the declarative reading of its predecessor. The paper suggests to use fixed point characterizations based on a variant of chaotic iteration as computational models. Two classes of transformations of such models, called splittings and restrictions, are identified as the cornerstones of the method. We give sufficient criteria for when these transformations may be used. Ordinary bottom-up computation of logic databases is used as an illustrative example throughout the paper.}