Research in Logic Programming
Semantics of Langauges and Software Engineering
The denotational approach developed for specifying semantics of programming languages is being applied to formally specify software systems. The role of Horn-logic as a language for specifying denotations is also being studied.
Logic Prog. Page Research Page Lab Home Page