Analysis and specialisation of a PIC processor

  title={Analysis and specialisation of a PIC processor},
  author={Kim S. Henriksen and John P. Gallagher},
  journal={2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)},
  pages={1131-1135 vol.2}
The functionality of a classic PIC processor, commonly used in applications such as wearable computing, has been modelled as an emulator written in Prolog. The PIC emulator can be specialised using an online or offline partial evaluator, which are part of an analysis and specialisation toolset for logic programs developed in the ASAP project. The program is specialised with respect to a given program and given characteristic of environments such as regular patterns on communication channels… CONTINUE READING


Publications referenced by this paper.

Tree Automata for SetBased Analysis of Logic Programs

A. King.
  • Fourth International IASAP . Advanced Specialization and Symposium on Pmctical Aspects of DechraAnalysis for Pervasive Systems : EU tiwe Languages ( PADL ' O ! ? ) , LNCS . SpringerFramework 5 Project IST -
  • 2001

Automatic discovery of linear restraints among variables of a program

J. Gallagher.
  • 1975

Specialisation of logic p r e grams : A tutorial

J. P. Gallagher.

    Similar Papers