Saumya K. Debray
On the Complexity of Dataflow Analysis of Logic Programs
ICALP, 1992.
@inproceedings{ICALP-1992-Debray, author = "Saumya K. Debray", booktitle = "{Proceedings of the 19th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-55719-9_100", isbn = "3-540-55719-9", pages = "509--520", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{On the Complexity of Dataflow Analysis of Logic Programs}", volume = 623, year = 1992, }