Author:
Braßel Bernd,Hanus Michael
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational Semantics for Declarative Multi-Paradigm Languages. JSC 40(1), 795–829 (2005)
2. Antoy, S., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. Journal of the ACM 47(4), 776–822 (2000)
3. Lecture Notes in Computer Science;S. Antoy,2002
4. Braßel, B., Hanus, M., Huch, F.: Encapsulating Non-Determinism in Functional Logic Computations. Journal of Functional and Logic Programming 6 (2004)
5. Cortesi, A., File, G., Winsborough, W.: Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis. In: Proc. IEEE Symposium on Logic in Computer Science, pp. 322–327 (1991)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献