Proving Make Correct: I/O Proofs in Haskell and Clean.

Malcolm Dowse Glenn Strong Andrew Butterfield

Published in: IFL (2002)

Keyphrases

input output
programming language
functional programming
databases
social networks
decision procedures
plagiarism detection
garbage collection