3 search results - page 1 / 1 » Soundness, idempotence and commutativity of set-sharing |
AGP
1998
IEEE
13 years 8 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
TPLP
2002
13 years 4 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
ECSQARU
2007
Springer
13 years 11 months ago
2007
Springer
Based on the canonical decomposition of belief functions, Smets introduced the concept of a latent belief structure (LBS). This concept is revisited in this article. The study of t...