| http://www.w3.org/ns/prov#value | - The challenges of analysing nondeterministic iterative programs were outlined by Dr David Monniaux, whose presentation focused on using techniques other than the abstraction and approximation techniques of Abstract Interpretation, one of the key approaches to static analysis.
|
