Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference32 articles.
1. Aiken, A. and Lakshman, T. K., “Directional type checking of logic programs”. in Proc. of the First International Static Analysis Symposium (Le Charlier, B. ed.), Springer-Verlag, pp. 43–60, 1994.
2. Amato G., Scozzari F.: “On the interaction between sharing and linearity”. Theory and Practice of Logic Programming 10(1), 49–112 (2010)
3. Barbuti R., Giacobazzi R., “A bottom-up polymorphic type inference in logic programming”. Science of Computer Programming, 19(3), 133–181 (1992)
4. Bossi, A., Gabbrielli, M., Levi, G. and Martelli, M., “The s-semantics approach: Theory and applications”. Journal of Logic Programming, 19-20, pp. 149–197, 1994.
5. Boye, J. and Maluszynski, J., “Two aspects of directional types”. in Proc. of the Twelfth International Conference on Logic Programming, The MIT Press, pp. 747–761, 1996.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献