About: A Common Framework Using Expected Types for Several Type Debugging Approaches

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: A Common Framework Using Expected Types for Several Type Debugging Approaches Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:AcademicArticle, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/ConferenceItemEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #66352 A Common Framework Using Expected Types for Several Type Debugging Approaches
sameAs	A Common Framework Using Expected Types for Several Type Debugging Approaches
http://eprints.org/ontology/hasAccepted	A Common Framework Using Expected Types for Several Type Debugging Approaches (PDF)
http://eprints.org/ontology/hasDocument	A Common Framework Using Expected Types for Several Type Debugging Approaches (Other) A Common Framework Using Expected Types for Several Type Debugging Approaches (Other) A Common Framework Using Expected Types for Several Type Debugging Approaches (Other) A Common Framework Using Expected Types for Several Type Debugging Approaches (Other) A Common Framework Using Expected Types for Several Type Debugging Approaches (Other) A Common Framework Using Expected Types for Several Type Debugging Approaches (PDF)
dc:hasVersion	A Common Framework Using Expected Types for Several Type Debugging Approaches (PDF)
Title	A Common Framework Using Expected Types for Several Type Debugging Approaches
described by	https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2018-04-24
Creator	Kanae Tsushima Olaf Chitil
status	peer reviewed published
Publisher	Springer
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.
Is Part Of	Financial Cryptography and Data Security https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/66352#authors
presented at	FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming
volume	10818
is topic of	https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #66352 A Common Framework Using Expected Types for Several Type Debugging Approaches

Faceted Search & Find service v1.17_git149 as of Dec 03 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Jan 29 2025, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory, 22 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software