Author:
Gori Roberta,Levi Giorgio
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. F. Bourdoncle. Abstract Debugging of Higher-Order Imperative Languages. In Programming Languages Design and Implementation’ 93, pages 46–55, 1993.
2. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In M. Kamkar, editor, Proceedings of the AADEBUG’97, pages 155–169, 1997.
3. M. Comini, R. Gori, and G. Levi. How to Transform an Analyzer into a Verifier. In R. Nieuwenhuis and A. Voronkov, editors, Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 2250 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001.
4. M. Comini, R. Gori, G. Levi, and P. Volpe. Abstract Interpretation based Verification of Logic Programs. In S. Etalle and J.-G. Smaus, editors, Proceedings of the Workshop on Verification of Logic Programs, volume 30 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2000.
5. M. Comini, G. Levi, M. C. Meo, and G. Vitiello. Abstract Diagnosis. Journal of Logic Programming, 39(1–3):43–93, 1999.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Data flow refinement type inference;Proceedings of the ACM on Programming Languages;2021-01-04
2. Kind inference for datatypes;Proceedings of the ACM on Programming Languages;2020-01
3. An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language;Electronic Proceedings in Theoretical Computer Science;2011-08-10
4. Properties of a Type Abstract Interpreter;Lecture Notes in Computer Science;2002-12-16
5. On Polymorphic Recursion, Type Systems, and Abstract Interpretation;Static Analysis