BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × Sweden
Collaborated with:
A.Butterfield M.Dowse
Talks about:
correct (2) prove (2) comparison (1) paradigm (1) program (1) haskel (1) proof (1) clean (1) make (1)

Person: Glenn Strong

DBLP DBLP: Strong:Glenn

Contributed to:

IFL 20022002
IFL 20012001

Wrote 2 papers:

IFL-2002-DowseSB #haskell #proving
Proving Make Correct: I/O Proofs in Haskell and Clean (MD, GS, AB), pp. 68–83.
IFL-2001-ButterfieldS #comparison #correctness #paradigm #proving #source code
Proving Correctness of Programs with IO — A Paradigm Comparison (AB, GS), pp. 72–87.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.