Research in Logic Programming

Semantics of Langauges and Software Engineering

Gopal Gupta,

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.

Related Papers

Logic Prog. Page Research Page Lab Home Page