Author:
Whiteside Iain,Aspinall David,Dixon Lucas,Grov Gudmund
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Aspinall, D., Denney, E., Lüth, C.: Tactics for hierarchical proof. Mathematics in Computer Science 3, 309–330 (2010)
2. Lecture Notes in Computer Science;P. Corbineau,2008
3. Cornlio, M., Cavalcanti, A., Sampaio, A.: Refactoring by transformation. Electronic Notes in Theoretical Computer Science 70(3), 311–330 (2002)
4. Denney, E., Power, J., Tourlas, K.: Hiproofs: A hierarchical notion of proof tree. Electr. Notes Theor. Comput. Sci. 155, 341–359 (2006)
5. Ettinger, R., Verbaere, M.: Refactoring bugs in Eclipse, IntelliJ IDEA and Visual Studio (2005), http://progtools.comlab.ox.ac.uk/projects/refactoring/bugreports
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Proof Presentation;Mathematical Reasoning: The History and Impact of the DReaM Group;2021
2. Characterising renaming within OCaml’s module system: theory and implementation;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
3. Aligning concepts across proof assistant libraries;Journal of Symbolic Computation;2019-01
4. Adapting proof automation to adapt proofs;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018
5. Implementing HOL in an Higher Order Logic Programming Language;Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice;2016-06-23