Boolean constraints for binding-time analysis (2001)
by
Kevin Glynn
,
Peter J. Stuckey
,
Martin Sulzmann
| Venue: | In Programs as Data Objects II, number 2053 in Lecture Notes in Computer Science |
| Citations: | 8 - 1 self |
BibTeX
@INPROCEEDINGS{Glynn01booleanconstraints,
author = {Kevin Glynn and Peter J. Stuckey and Martin Sulzmann},
title = {Boolean constraints for binding-time analysis},
booktitle = {In Programs as Data Objects II, number 2053 in Lecture Notes in Computer Science},
year = {2001},
pages = {39--62},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
