Knowledge bank Ontology Knowledge base Ontology editor Database editor Flow analysis Editor of flow analysis methods
Institute of Information Theories and Applications FOI ITHEA
The article proposes the model of management of information about program flow analysis for
conducting computer experiments with program transformations. It considers the architecture and context of the
flow analysis subsystem within the framework of Specialized Knowledge Bank on Program Transformations and
describes the language for presenting flow analysis methods in the knowledge bank.