Period of time: 2000年2期
Publisher: Elsevier
Founded in: 1984
Total resources: 4
ISSN: 0743-1066
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Logic Programming, The,volume 43,issue 2
Menu
Interprocedural analyses: a comparison
By Seidl H., Fecht C. in (2000)
Journal of Logic Programming, The,volume 43,issue 2 , Vol. 43, Iss. 2, 2000-05 , pp.Tracing Prolog programs by source instrumentation is efficient enough
By Ducasse M., Noye J. in (2000)
Journal of Logic Programming, The,volume 43,issue 2 , Vol. 43, Iss. 2, 2000-05 , pp.Or-parallel Prolog on a distributed memory architecture
By Silva F., Watson P. in (2000)
Journal of Logic Programming, The,volume 43,issue 2 , Vol. 43, Iss. 2, 2000-05 , pp.