Pierre De Boeck, Baudouin Le Charlier
Static Type Analysis of Prolog Procedures for Ensuring Correctness
PPDP, 1990.
@inproceedings{PLILP-1990-BoeckC, author = "Pierre De Boeck and Baudouin Le Charlier", booktitle = "{Proceedings of the Second International Workshop on Programming Language Implementation and Logic Programming}", doi = "10.1007/BFb0024187", isbn = "3-540-53010-X", pages = "222--237", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Static Type Analysis of Prolog Procedures for Ensuring Correctness}", volume = 456, year = 1990, }