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.
@inproceedings{Toman97a,
title = {Constraint Databases and Program Analysis Using Abstract Interpretation},
author = {David Toman},
year = {1997},
tags = {program analysis, analysis, constraints},
researchr = {https://researchr.org/publication/Toman97a},
cites = {0},
citedby = {0},
pages = {246-262},
booktitle = {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},
editor = {Volker Gaede and Alexander Brodsky and Oliver Günther and Divesh Srivastava and Victor Vianu and Mark Wallace},
volume = {1191},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-62501-1},
}