A Common Framework Using Expected Types for Several Type Debugging Approaches

Tsushima, Kanae, Chitil, Olaf (2018) A Common Framework Using Expected Types for Several Type Debugging Approaches. In: Lecture Notes in Computer Science. FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science , 10818. pp. 230-246. Springer ISBN 978-3-319-90685-0. E-ISBN 978-3-319-90686-7. (doi:10.1007/978-3-319-90686-7_15) (KAR id:66352)

PDF Author's Accepted Manuscript Language: English
Download this file (PDF/713kB)	Preview
Request a format suitable for use with assistive technology e.g. a screenreader
Official URL: https://doi.org/10.1007/978-3-319-90686-7_15

Abstract

Many different approaches to type error debugging were developed independently.

In this paper, we describe a new common framework

for several type error debugging approaches.

For this purpose, we introduce expected types from the outer context

and propose a method for obtaining them.

Using expected types, we develop three type error debugging approaches:

enumeration of type error messages, type error slicing and

(improved) interactive type error debugging.

Based on our idea we implemented prototypes

and confirm that the framework works well for type debugging.

Item Type:	Conference or workshop item (Proceeding)
DOI/Identification number:	10.1007/978-3-319-90686-7_15
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Olaf Chitil
Date Deposited:	12 Mar 2018 14:20 UTC
Last Modified:	05 Nov 2024 11:05 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/66352 (The current URI for this page, for reference purposes)

University of Kent Author Information

Chitil, Olaf.

Creator's ORCID:	https://orcid.org/0000-0001-7986-9929
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.