David Toman. Constraint Databases and Program Analysis Using Abstract Interpretation. In Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace, editors, Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB 97, Delphi, Greece, January 11-12, 1997, CP 96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers. Volume 1191 of Lecture Notes in Computer Science, pages 246-262, Springer, 1997.
Abstract is missing.