Skalpel: A Constraint-Based Type Error Slicer for Standard ML

Article (Périodiques scientifiques)

RAHLI, Vincent; Wells, Joe; Pirie, John et al.

2016 • In Journal of Symbolic Computation

Peer reviewed

Permalien
https://hdl.handle.net/10993/24182

skalpel-jsc.pdf

Preprint Auteur (796.72 kB)

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Disciplines :

Sciences informatiques

Auteur, co-auteur :

RAHLI, Vincent ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Wells, Joe

Pirie, John

Kamareddine, Fairouz

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Skalpel: A Constraint-Based Type Error Slicer for Standard ML

Date de publication/diffusion :

2016

Titre du périodique :

Journal of Symbolic Computation

Peer reviewed :

Peer reviewed

Disponible sur ORBilu :

depuis le 04 février 2016

Nombre de vues

161 (dont 27 Unilu)

Nombre de téléchargements

644 (dont 6 Unilu)

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex