Skip to content

Verified Binomial and Skew Heaps Using LiquidHaskell

Notifications You must be signed in to change notification settings

pzp1997/liquid-heaps

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

49 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Verified Binomial and Skew Heaps Using LiquidHaskell

Authors: Josh Cohen and Palmer Paul

Abstract: We used LiquidHaskell to verify the structural invariants of binomial heaps and skew heaps and prove totality, termination, and functional correctness of all common heap operations on these structures. In this report, we describe the technical aspects of our project, challenges we faced, and our overall experience using LiquidHaskell. The code for our project is publicly available in the pzp1997/liquid-heaps GitHub repo.

See report.pdf for full paper.

About

Verified Binomial and Skew Heaps Using LiquidHaskell

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published