see also the index (by topic, by tool, by reference, by year)
2019
Examples of year 2019
- A Formally Verified Symbolic Interpreter for a IMP language
- Cartesian Trees (from VerifyThis 2019) in SPARK
- Common factor of two words
- Equality up to spaces
- Huffman with two queues
- Longest common prefix, in SPARK
- Most Frequent Value in a Sorted Array
- Queue implemented using two lists
- Queues, in SPARK
- Red-Black Trees in SPARK
- Subsequence
- Three idempotent rings
- VerifyThis 2019: Cartesian trees
- VerifyThis 2019: GHC sort
see also the index (by topic, by tool, by reference, by year)