David Lester, Sava Mintchev  Home/Search
Context
Related
| perun.hscs.wmin.ac.uk/s...TeachFLf.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: perun.hscs.wmin.ac.uk/sava...pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . One of the problems encountered with a formal approach to the teaching of functional programming is to encourage students to perform inductive proofs for recursively defined functions. In this paper we investigate the use of a theorem prover (written in Haskell) to help students gain confidence in their mathematical abilities. As examples, we use the material that we have developed for an introductory functional programming module; and show how the theorem prover can be of assistance. 1... (Update)
Active bibliography (related documents): More All
0.2: Using pi-RED+ as a Teaching Tool for Functional.. - Kluge, Rathsack, Scholz (Correct)
0.2: Applicative Programming and Specification - Gilmore (1993) (Correct)
0.2: Strategies For The Modelling And Simulation Of Asynchronous.. - Theodoropoulos (1995) (Correct)
Similar documents based on text: More All
0.2: Towards Machine-checked Compiler Correctness for.. - Lester, Mintchev (Correct)
0.1: Hyperstrictness and the Parallel Evaluation of Lazy Functional.. - Mintchev (1993) (Correct)
0.1: Towards Portable Message Passing in Java: Binding MPI - Mintchev, Getov (1997) (Correct)
BibTeX entry: (Update)
@inproceedings{ lester95inducing,
author = "David Lester and Sava Mintchev",
title = "Inducing Students to Induct",
booktitle = "Functional Programming Languages in Education",
pages = "159-177",
year = "1995",
url = "citeseer.ist.psu.edu/lester95inducing.html" }
Citations (may not include all citations):334 A Computational Logic Handbook (context) - Boyer, Moore - 1988
333 An Introduction to Functional Programming (context) - Bird, Wadler - 1988
294 Isabelle: A Generic Theorem Prover (context) - Paulson - 1994
138 Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Eekelen - 1993
86 Functional Programming (context) - Field, Harrison - 1988
63 Semantics with applications : a formal introduction (context) - Nielson, Nielson - 1992
32 Algorithmics: the Spirit of Computing (context) - Harel - 1987
14 International Computer Science Series (context) - Reade, Functional - 1989
13 Combinator Graph Reduction: A Congruence and its Application.. (context) - Lester - 1988
4 Principles of Functional Programming (context) - Glaser, Hankin et al. - 1984
4 exploratory and transformational environment for lazy functi.. (context) - Runciman, Toyn et al. - 1993
4 Mechanized reasoning about functional programs (context) - Mintchev - 1994
1 CS412 - Algorithmics and Functions (context) - Lester - 1992
1 Metamorph - a formal methods toolkit with application to the.. (context) - Brumfitt - 1992
Documents on the same site (http://perun.hscs.wmin.ac.uk/sava/pubs.html): More
PMPI: High-Level Message Passing in Fortran77 and C - Mintchev, Getov (1997) (Correct)
PMPI 1.0 User Manual - Mintchev, Getov (1997) (Correct)
Mechanized Reasoning about Concurrent Functional Programs - Mintchev (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC