Author:
Berghofer Stefan,Bulwahn Lukas,Haftmann Florian
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Lecture Notes in Computer Science;S. Berghofer,2002
2. Lecture Notes in Computer Science;D. Delahaye,2007
3. Haftmann, F., Nipkow, T.: A code generator framework for Isabelle/HOL. Tech. Rep. 364/07, Department of Computer Science, University of Kaiserslautern (2007)
4. Hanus, M.: A unified computation model for functional and logic programming. In: Proc. 24th ACM Symposium on Principles of Programming Languages (POPL 1997), pp. 80–93 (1997)
5. Lecture Notes in Computer Science;L. Henrio,2007
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification;Journal of Automated Reasoning;2023-04-06
2. Computing correctly with inductive relations;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Machine Learning Guidance for Connection Tableaux;Journal of Automated Reasoning;2020-09-05
4. From LCF to Isabelle/HOL;Formal Aspects of Computing;2019-12
5. A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019