Research in Logic Programming


Semantics of Langauges and Software Engineering


Author(s)
Gopal Gupta,

Description
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