On the Equivalence Problem for Programs with Mode Switching.

Rimma I. Podlovchenko Dmitry M. Rusakov Vladimir A. Zakharov

Published in: CIAA (2005)

Keyphrases

fixpoint
data mining
answer sets
search engine
information systems
relational databases
source code
java programs
prolog programs