Edinburgh Research Explorer

System Description: CyNTHIA

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Documents

Original languageEnglish
Title of host publicationAutomated Deduction — CADE-16
Subtitle of host publication16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings
PublisherSpringer-Verlag GmbH
Pages388-392
ISBN (Electronic)978-3-540-48660-2
ISBN (Print)978-3-540-66222-8
DOIs
StatePublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume1632
ISSN (Print)0302-9743

Abstract

Current programming environments for novice functional programming (FP) are inadequate. This paper describes ways of using proofs as a foundation to improve the situation, in the context of the language ML [4]. The most common way to write ML programs is via a text editor and compiler (such as the Standard ML of New Jersey compiler). But program errors, in particular type errors, are generally difficult to track down. For novices, the lack of debugging support forms a barrier to learning FP concepts [5].

Download statistics

No data available

ID: 6321332