Zobrazeno 1 - 10 of 30 pro vyhledávání: '"counter-factual typing"'
1
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
2
Counter-factual typing for debugging type errors
Autor: Martin Erwig, Sheng Chen
Publikováno v: POPL
Changing a program in response to a type error plays an important part in modern software development. However, the generation of good type error messages remains a problem for highly expressive type systems. Existing approaches often suffer from a l
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a1e2b47186f432f57fd1a5f5f62a24f
https://doi.org/10.1145/2535838.2535863
Zobrazit plný text záznamu
3
Akademický článek
A framework for improving error messages in dependently-typed languages
Autor: Eremondi Joseph, Swierstra Wouter, Hage Jurriaan
Publikováno v: Open Computer Science, Vol 9, Iss 1, Pp 1-32 (2019)
Dependently-typed programming languages provide a powerful tool for establishing code correctness. However, it can be hard for newcomers to learn how to employ the advanced type system of such languages effectively. For simply-typed languages, severa
Externí odkaz: https://doaj.org/article/b0582fd9b43043fea4d56567b3c570da
Zobrazit plný text záznamu
4
Akademický článek
Systematic identification and communication of type errors*.
Autor: CHEN, SHENG, ERWIG, MARTIN
Publikováno v: Journal of Functional Programming; 2018, Vol. 28, pN.PAG-N.PAG, 48p
Zobrazit plný text záznamu
5
Akademický článek
Efficient counter-factual type error debugging.
Autor: Chen, Sheng1 (AUTHOR) chen@louisiana.edu, Wu, Baijun1 (AUTHOR) bj.wu@louisiana.edu
Publikováno v: Science of Computer Programming. Dec2020, Vol. 200, pN.PAG-N.PAG. 1p.
Zobrazit plný text záznamu
6
Akademický článek
Variational satisfiability solving: efficiently solving lots of related SAT problems.
Autor: Young, Jeffrey M., Bittner, Paul Maximilian, Walkingshaw, Eric, Thüm, Thomas
Publikováno v: Empirical Software Engineering; Feb2023, Vol. 28 Issue 1, p1-53, 53p
Zobrazit plný text záznamu
7
Akademický článek
SHErrLoc: A Static Holistic Error Locator.
Autor: ZHANG, DANFENG1 zhang@cse.psu.edu, MYERS, ANDREW C.2 andru@cs.cornell.edu, VYTINIOTIS, DIMITRIOS3 dimitris@microsoft.com, PEYTON-JONES, SIMON3 simonpj@microsoft.com
Publikováno v: ACM Transactions on Programming Languages & Systems. Aug2017, Vol. 39 Issue 4, p1-47. 47p.
Zobrazit plný text záznamu
8
Akademický článek
A framework for improving error messages in dependently-typed languages.
Autor: Eremondi, Joseph, Swierstra, Wouter, Hage, Jurriaan
Publikováno v: Ecological Genomics; Jan2019, Vol. 9 Issue 1, p1-32, 32p
Zobrazit plný text záznamu
9
Akademický článek
Extending Type Inference to Variational Programs.
Autor: SHENG CHEN1, ERWIG, MARTIN1, WALKINGSHAW, ERIC1
Publikováno v: ACM Transactions on Programming Languages & Systems. Mar2014, Vol. 36 Issue 1, p1:1-1:54. 54p.
Zobrazit plný text záznamu
10
Akademický článek
Principal Type Inference for GADTs.
Autor: Chen, Sheng, Erwig, Martin
Publikováno v: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p416-428, 13p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje