A proof tool dedicated to clean the first prototype

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1779, Issue , 2000, Pages 271-278

  de Mol, Maarten ^a   van Eekelen, Marko ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL PROGRAMMING; GRAPH THEORY; SEMANTICS;

FULLY OPERATIONAL; FUNCTIONAL LANGUAGES; GRAPH TRANSFORMATION; PROGRAMMING TOOLS; PROOF TOOLS; THEOREM PROVERS;

THEOREM PROVING;

EID: 84974715477     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45104-8_22     Document Type: Conference Paper

References (12)

1. B. Barras et al. The Coq Proof Assistant Reference Manual (version 6.2), Inria, 1998. pauillac.inria.fr/coq/doc/config-eng.html
2. R. Bird. Introduction to Functional Programming using Haskell, second edition, Prentice Hall Europe, 1998, ISBN 0-13-484346-0.
3. S. Mintchev. Mechanized reasoning about functional programs, Manchester, 1994. In K. Hammond, D. N. Turner and P. Sansom, editors, Functional Programming, Glasgow 1994, pages 151-167. Springer-Verlag.
4. M. de Mol. Clean Prover System: a proof tool for interactively and automatically proving properties of functional programs, Master’s Thesis no. 442, Nijmegen, 1998. www.cs.kun.nl/~maartenm/public/Afstuderen/Thesis.ps
5. M. de Mol. Examples of theorems from ‘Introduction to Functional Programming’ proved in the prototype Clean Prover System, Nijmegen, 1998. www.cs.kun.nl/~maartenm/public/CleanProverSystem/IFP2 Example.ps
6. M. de Mol, M. van Eekelen. A Prototype Dedicated Theorem Prover for Clean, Nijmegen, 1999. Internal report CSI-R9913.
7. S. Owre, N. Shankar, J. M. Rushby and D. W. J. Stringer-Calvert. PVS Language Reference (version 2.2), 1998. www.csl.sri.com/pvsweb/manuals.html
8. L. C. Paulson. The Isabelle Reference Manual, Cambridge, 1998. www.cl.cam.ac.uk/users/lcp/ml-aftp/doc/ref.pdf
9. R. Plasmeijer and M. van Eekelen. Concurrent Clean Language Report (version 1.3), Nijmegen, 1998. www.cs.kun.nl/~clean/Clean.Cleanbook.html
10. M. Sleep, R. Plasmeijer and M. van Eekelen. Term Graph Rewriting, Wiley Professional Computing, ISBN 0-471-93567-0.
11. S. Thompson. Haskell: The Craft of Functional Programming (second edition), Addison-Wesley, 1999, ISBN 0-201-34275-8.
12. N. Winstanley. Era User Manual, version 2.0, Glasgow, 1998. www.dcs.gla.ac.uk/nww/Era/Era.html