Author:
Podelski Andreas,Charatonik Witold,Müller Martin
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Lect Notes Comput Sci;A. Aiken,1994
2. H. Aït-Kaci and A. Podelski. Functions as passive constraints in LIFE. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(3):1–40, 1994.
3. F. Bourdoncle. Abstract debugging of higher-order imperative languages. In Proceedings of the SIGPLAN'93 Conference on Programming Language Design and Implementation (PLD’93), pages 46–55. ACM Press, 1993.
4. W. Charatonik and A. Podelski. Co-definite set constraints. In T. Nipkow, editor, 9th International Conference on Rewriting Techniques and Applications, pages 211–225, Springer-Verlag. 1998.
5. Lect Notes Comput Sci;W. Charatonik,1998
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献