1 citations · 1 across the 1 of their papers we have counts for
1 paper
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
As software systems become more complex, there is an increasing need for new static analyses. Thanks to the declarative style, logic programming is an attractive formalism for spec…