Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. A. Aiken, E. Wimmers, and T.K. Lakshman. Soft typing with conditional types. In ACM Symposium on Principles of Programming Languages, pages 163–173. Association for Computing Machinery, 1994.
2. David Basin and Herald Ganzinger. Automated complexity analysis based on ordered resolution. In Proceedings, Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 456–465. IEEE Computer Society Press, 1996.
3. A. Bondorf and A. Jorgensen. Efficient analysis for realistic off-line partial evaluation. Journal of functional Programming, 3(3), 1993.
4. Keith L. Clark. Logic programming schemes and their implementations. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic. MIT Press, 1991.
5. William Downing and Jean H. Gallier. Linear time algorithms for testing the satisfiability of propositional horn formulae. Journal of Logic Programming, 1(3):267–284, 1984.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献