The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents Authored by: Jonathan Whittle

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Discussion Paper

DP176 1996 Discussion Paper Whittle,JN
A Deductive Synthesis Editor for Producing Correct Functional Programs

MSc Thesis

MT9594 1995 MSc Thesis Whittle,JN
Analogy in Clam

Paper in Conference Proceedings

PP1204 1997 Paper in Conference Proceedings Whittle,JN; Bundy,A; Lowe,H
Supporting Programming by Analogy in the Learning of Functional Programming Languages
PP1205 1997 Paper in Conference Proceedings Whittle,JN; Bundy,A; Lowe,H
An Editor for helping Novices to Learn Standard {ML}
PP990 1996 Paper in Conference Proceedings Mellis,E; Whittle,JN
Internal Analogy in Theorem Proving

Research Paper

RP938 1999 Research Paper Whittle,JN; Cumming,A
Evaluating Environments for Functional Programming
RP939 1999 Research Paper Whittle,JN; Bundy,A; Boulton,R; Lowe,H
An ML Editor Based on Proofs-as-Programs
RP858 1997 Research Paper Whittle,JN; Bundy,A; Lowe,H
An Editor for Helping Novices to Learn Standard Ml
RP803 1996 Research Paper Melis,E; Whittle,JN
Internal Analogy in Theorem Proving
RP840 1996 Research Paper Melis,E; Whittle,JN
Analogy as a Control Strategy in Theorem Proving
RP841 1996 Research Paper Melis,E; Whittle,JN
Analogy in Inductive Theorem Proving

Working Paper

WP262 1997 Working Paper Whittle,JN
A Survey of Analogical Approaches to Programming

[Search These Pages] [DAI Home Page] [Comment]