Logic Prog. Page Research Page Lab Home Page
Author(s)Research in Logic Programming
Semantics of Langauges and Software Engineering
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