System Description: CyNTHIA

J. Whittle; Alan Bundy; R. Boulton; H. Lowe

doi:10.1007/3-540-48660-7_36

System Description: CyNTHIA

J. Whittle, Alan Bundy, R. Boulton, H. Lowe

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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].

Original language	English
Title of host publication	Automated Deduction — CADE-16
Subtitle of host publication	16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings
Publisher	Springer-Verlag GmbH
Pages	388-392
ISBN (Electronic)	978-3-540-48660-2
ISBN (Print)	978-3-540-66222-8
DOIs	https://doi.org/10.1007/3-540-48660-7_36
Publication status	Published - 1999

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	1632
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-48660-7_36

System Description: CYNTHIASubmitted manuscript, 144 KB

Cite this

@inproceedings{30e78c6317d84db9b6717f6807a186de,

title = "System Description: CyNTHIA",

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].",

author = "J. Whittle and Alan Bundy and R. Boulton and H. Lowe",

year = "1999",

doi = "10.1007/3-540-48660-7_36",

language = "English",

isbn = "978-3-540-66222-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag GmbH",

pages = "388--392",

booktitle = "Automated Deduction — CADE-16",

}

System Description: CyNTHIA. / Whittle, J.; Bundy, Alan; Boulton, R. et al.

Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH, 1999. p. 388-392 (Lecture Notes in Computer Science; Vol. 1632).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - System Description: CyNTHIA

AU - Whittle, J.

AU - Bundy, Alan

AU - Boulton, R.

AU - Lowe, H.

PY - 1999

Y1 - 1999

N2 - 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].

AB - 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].

U2 - 10.1007/3-540-48660-7_36

DO - 10.1007/3-540-48660-7_36

M3 - Conference contribution

SN - 978-3-540-66222-8

T3 - Lecture Notes in Computer Science

SP - 388

EP - 392

BT - Automated Deduction — CADE-16

PB - Springer-Verlag GmbH

ER -

System Description: CyNTHIA

Abstract

Publication series

Access to Document

Fingerprint

Cite this