Evaluating Environments for Functional Programming

Evaluating Environments for Functional Programming (2000)

Cached

Download Links

[ase.arc.nasa.gov]
[ftp.dai.ed.ac.uk]

Other Repositories/Bibliography

DBLP

by Jon Whittle , Andrew Cumming

Venue:	International Journal of Human-Computer Studies
Citations:	3 - 0 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Evaluating Environments for Functional Programming	SVM HeaderParse 0.1
AUTHOR NAME	Jon Whittle	SVM HeaderParse 0.1
AUTHOR AFFIL	Recom Technologies, NASA Ames Research Center	SVM HeaderParse 0.2
AUTHOR ADDR	Moffett Field, CA 94035	SVM HeaderParse 0.1
AUTHOR NAME	Andrew Cumming	SVM HeaderParse 0.1
AUTHOR AFFIL	Dept of Computer Studies, Napier University,	SVM HeaderParse 0.2
AUTHOR ADDR	219 Colinton Road,; Edinburgh EH14 1DJ, Scotland.	SVM HeaderParse 0.1
ABSTRACT	Functional programming presents new challenges in the design of programming environments. In a strongly typed functional language, such as ML, much conventional debugging of runtime errors is replaced by dealing with compile time error reports. On the other hand, the cleanness of functional programming opens up new possibilities for incorporating sophisticated correctness-checking techniques into such environments. C Y NTHIA is a novel editor for ML that both addresses the challenges and explores the possibilities. It uses an underlying proof system as a framework for automatically checking for semantic errors such as non-termination. In addition, C Y NTHIA embodies the idea of programming by analogy --- whereby users write programs by applying abstract transformations to existing programs. This paper investigates C Y NTHIA's potential as a novice ML programming environment. We report on two studies in which it was found that students using C Y NTHIA commit fewer er...	user correction - Legacy Corrections
YEAR	2000	INFERENCE
VENUE	International Journal of Human-Computer Studies	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	847--878	INFERENCE
VOLUME	52	INFERENCE
CITATIONS	35 found	ParsCit 1.0