This paper introduces declarative reflection schemata and describes implementation tools for it. The keywords are planning and inference, i.e. a declarative (nonprocedural) description of self must exist and be used for making inferences about the future activities of the reflective system and about consequences of these activities. The NUT system is used as a platform for intelligent agents with reflection. NUT processes running in a network are agent shells filled with knowledge in the form of NUT packages. A knowledge-based technique supported by automatic synthesis of programs is used for declarative reflection: a reflection schema with a model of self managed by daemons is implemented using run-time compilation/decompilation of classes and metaprogramming with productions. Keywords: Declarative reflection; Intelligent agents; Metaprogramming. 1.0 Introduction We use a concept of declarative reflection in order to distinguish a reflection where actions are planned and performed d...

The aim of program analysis and visualisation (PA&V) is to help the programmer understand a program by means of graphical presentations of different aspects of the program. Program analysis and visualisation systems can be classified according to the specification method of visualisation, e.g. in what way can the user of the system specify his own visualisers. In the article three specification methods (predefinition, annotation and declaration) are discussed and some example systems are presented. Particular attention is paid to the declarative specification method, thus, in addition, knowledge-based program analysers are discussed. Increased understandability and modifiability are argued to be the main advantages of declarative PA&V systems. The general discussion is continued by a short presentation of a case study, where the declarative and synthesisable visualisation in the NUT system is discussed. Keywords: program analysis, program understanding, program visualisation, declarat...