Using datalog with binary decision diagrams for program analysis
Saved in:
Published in | Lecture notes in computer science pp. 97 - 118 |
---|---|
Main Authors | , , , |
Format | Conference Proceeding |
Language | English |
Published |
Berlin
Springer
2005
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
ISBN: | 3540297359 9783540297352 |
---|---|
ISSN: | 0302-9743 1611-3349 |
DOI: | 10.1007/11575467_8 |