Verified Textbook Algorithms-Reference-Cited by-同舟云学术

Verified Textbook Algorithms

Published:2020 Issue: Volume: Page:25-53
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Nipkow Tobias^ORCID,Eberl Manuel^ORCID,Haslbeck Maximilian P. L.^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-59152-6_2

Reference201 articles.

1. Archive of Formal Proofs. http://www.isa-afp.org

2. Abdulaziz, M., Mehlhorn, K., Nipkow, T.: Trustworthy graph algorithms (invited talk). In: Rossmanith, P., Heggernes, P., Katoen, J. (eds.) 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019. LIPIcs, vol. 138, pp. 1:1–1:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019). https://doi.org/10.4230/LIPIcs.MFCS.2019.1

3. Abrial, J.: The B-book - Assigning Programs to Meanings. Cambridge University Press (1996). https://doi.org/10.1017/CBO9780511624162

4. Lecture Notes in Computer Science;J-R Abrial,2003

5. Adams, S.: Efficient sets - a balancing act. J. Funct. Program. 3(4), 553–561 (1993). https://doi.org/10.1017/S0956796800000885

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM;ACM Transactions on Programming Languages and Systems;2022-07-15

2. Specification and verification of a transient stack;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11

3. Loop Verification with Invariants and Contracts;Lecture Notes in Computer Science;2022

4. Teaching algorithms and data structures with a proof assistant (invited talk);Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17

5. For a Few Dollars More;Programming Languages and Systems;2021