Pages that link to "Item:Q2351413"
From MaRDI portal
The following pages link to Proof pearl: The KeY to correct and stable sorting (Q2351413):
Displaying 7 items.
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Minimal coverability tree construction made complete and efficient (Q2200824) (← links)
- Balancing Lists: A Proof Pearl (Q2879268) (← links)
- Clowns to the left of me, jokers to the right (pearl) (Q3189847) (← links)
- An Assertional Proof of the Stability and Correctness of Natural Mergesort (Q5277907) (← links)
- Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826) (← links)
- Integrating ADTs in KeY and Their Application to History-Based Reasoning (Q6488468) (← links)