Type error slicing in implicitly typed higher-order languages

Christian Haack; J. B. Wells

doi:10.1007/3-540-36575-3_20

Type error slicing in implicitly typed higher-order languages

Christian Haack, J. B. Wells

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

47 Citations (Scopus)

Abstract

Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error. We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML. © Springer-Verlag Berlin Heidelberg 2003.

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
Pages	284-301
Number of pages	18
Volume	2618
ISBN (Electronic)	978-3-540-36575-4
DOIs	https://doi.org/10.1007/3-540-36575-3_20
Publication status	Published - 2003
Event	12th European Symposium on Programming - Warsaw, Poland Duration: 7 Apr 2003 → 11 Apr 2003

Publication series

Name	Lecture Notes in Computer Science
Volume	2618
ISSN (Print)	0302-9743

Conference

Conference	12th European Symposium on Programming
Abbreviated title	ESOP 2003
Country/Territory	Poland
City	Warsaw
Period	7/04/03 → 11/04/03

Access to Document

10.1007/3-540-36575-3_20

Cite this

Haack, C., & Wells, J. B. (2003). Type error slicing in implicitly typed higher-order languages. In Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (Vol. 2618, pp. 284-301). (Lecture Notes in Computer Science; Vol. 2618). https://doi.org/10.1007/3-540-36575-3_20

Haack, Christian ; Wells, J. B. / Type error slicing in implicitly typed higher-order languages. Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Vol. 2618 2003. pp. 284-301 (Lecture Notes in Computer Science).

@inbook{1f110bda0b3b46d292a1f23b52950098,

title = "Type error slicing in implicitly typed higher-order languages",

abstract = "Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error. We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML. {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.",

author = "Christian Haack and Wells, {J. B.}",

year = "2003",

doi = "10.1007/3-540-36575-3_20",

language = "English",

isbn = "978-3-540-00886-6",

volume = "2618",

series = "Lecture Notes in Computer Science",

pages = "284--301",

booktitle = "Programming Languages and Systems",

note = "12th European Symposium on Programming, ESOP 2003 ; Conference date: 07-04-2003 Through 11-04-2003",

}

Haack, C & Wells, JB 2003, Type error slicing in implicitly typed higher-order languages. in Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. vol. 2618, Lecture Notes in Computer Science, vol. 2618, pp. 284-301, 12th European Symposium on Programming, Warsaw, Poland, 7/04/03. https://doi.org/10.1007/3-540-36575-3_20

Type error slicing in implicitly typed higher-order languages. / Haack, Christian; Wells, J. B.
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Vol. 2618 2003. p. 284-301 (Lecture Notes in Computer Science; Vol. 2618).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

TY - CHAP

T1 - Type error slicing in implicitly typed higher-order languages

AU - Haack, Christian

AU - Wells, J. B.

PY - 2003

Y1 - 2003

N2 - Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error. We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML. © Springer-Verlag Berlin Heidelberg 2003.

AB - Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error. We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML. © Springer-Verlag Berlin Heidelberg 2003.

UR - http://www.scopus.com/inward/record.url?scp=35248816847&partnerID=8YFLogxK

U2 - 10.1007/3-540-36575-3_20

DO - 10.1007/3-540-36575-3_20

M3 - Chapter (peer-reviewed)

SN - 978-3-540-00886-6

VL - 2618

T3 - Lecture Notes in Computer Science

SP - 284

EP - 301

BT - Programming Languages and Systems

T2 - 12th European Symposium on Programming

Y2 - 7 April 2003 through 11 April 2003

ER -

Haack C, Wells JB. Type error slicing in implicitly typed higher-order languages. In Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Vol. 2618. 2003. p. 284-301. (Lecture Notes in Computer Science). doi: 10.1007/3-540-36575-3_20

Type error slicing in implicitly typed higher-order languages

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this