Search for dissertations about: "Henryk Jan Komorowski"

Found 1 swedish dissertation containing the words Henryk Jan Komorowski.

2. 1. A specification of an abstract Prolog machine and its application to partial evaluation

   Author : Henryk Jan Komorowski; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Abstract : We investigate partial evalution of Prolog programs as a part of a theory of interactive, incremental programming. The goal of of this investigation is to provide formally correct, interactive programming tools for program transformation.An abstract Prolog machine is introduced. READ MORE