A Formalisation of the Correctness Result From "Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures"
Report, 2007
This document describes how the correctness result in "Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures" has been formalised.
Author
Nils Anders Danielsson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Subject Categories (SSIF 2011)
Computer Science
Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2007:16