Andreas Krall, Thomas Berger. Incremental Global Compilation of Prolog with the Vienna Abstract Machine. In ICLP. pages 333-347, 1995.
@inproceedings{KrallB95, title = {Incremental Global Compilation of Prolog with the Vienna Abstract Machine}, author = {Andreas Krall and Thomas Berger}, year = {1995}, tags = {Prolog, abstract machine, incremental}, researchr = {https://researchr.org/publication/KrallB95}, cites = {0}, citedby = {0}, pages = {333-347}, booktitle = {ICLP}, }