Next: c) Information Systems
Up: Individual Research
Previous: Language Design and
Logic programming is a paradigm founded upon
first order logic. Being mathematical in semantics,
logic programming languages are harder to analyze and
implement efficiently than conventional imperative
languages. The research develops analysis methods for
logic programs, so as to improve their automated processing.
Special emphasis is laid on data-flow aspects that
can be utilized in compilation and debugging of logic
programs. The research is connected to similar work
at the Hungarian Academy of Sciences, Szeged, and at
Linköping University, Sweden.
Publications: [46, 54, 55, 60-62,
140, 182].