Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms

Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms

10.1007/978-3-030-81688-9_37

Saved in:
Bibliographic Details
Main Authors: Mohan, Anshuman, Leow, Wei Xiang, Hobor, Aquinas
Other Authors: DEPARTMENT OF COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: Springer Science and Business Media Deutschland GmbH 2022
Subjects:
Coq
Graph algorithms
Separation logic
VST
Online Access:https://scholarbank.nus.edu.sg/handle/10635/233875
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-233875
record_format dspace
spelling sg-nus-scholar.10635-2338752024-04-17T08:58:06Z Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms Mohan, Anshuman Leow, Wei Xiang Hobor, Aquinas DEPARTMENT OF COMPUTER SCIENCE Coq Graph algorithms Separation logic VST 10.1007/978-3-030-81688-9_37 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12760 LNCS 801-826 2022-10-26T09:21:45Z 2022-10-26T09:21:45Z 2021-01-01 Conference Paper Mohan, Anshuman, Leow, Wei Xiang, Hobor, Aquinas (2021-01-01). Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12760 LNCS : 801-826. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-030-81688-9_37 9.78303E+12 0302-9743 https://scholarbank.nus.edu.sg/handle/10635/233875 Attribution 4.0 International https://creativecommons.org/licenses/by/4.0/ Springer Science and Business Media Deutschland GmbH Scopus OA2021
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Coq
Graph algorithms
Separation logic
VST
spellingShingle Coq
Graph algorithms
Separation logic
VST
Mohan, Anshuman
Leow, Wei Xiang
Hobor, Aquinas
Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
description 10.1007/978-3-030-81688-9_37
author2 DEPARTMENT OF COMPUTER SCIENCE
author_facet DEPARTMENT OF COMPUTER SCIENCE
Mohan, Anshuman
Leow, Wei Xiang
Hobor, Aquinas
format Conference or Workshop Item
author Mohan, Anshuman
Leow, Wei Xiang
Hobor, Aquinas
author_sort Mohan, Anshuman
title Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
title_short Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
title_full Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
title_fullStr Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
title_full_unstemmed Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
title_sort functional correctness of c implementations of dijkstra’s, kruskal’s, and prim’s algorithms
publisher Springer Science and Business Media Deutschland GmbH
publishDate 2022
url https://scholarbank.nus.edu.sg/handle/10635/233875
_version_ 1800915697835966464

Similar Items