Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Olaf Chitil"'
Autor:
Joanna Sharrad, Olaf Chitil
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030577605
TFP
TFP
Type error messages of compilers of statically typed functional languages are often inaccurate, making type error debugging hard. Many solutions to the problem have been proposed, but most have been evaluated only with short programs, that is, of few
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b98b0d742c63133987220816d565010
https://doi.org/10.1007/978-3-030-57761-2_4
https://doi.org/10.1007/978-3-030-57761-2_4
Autor:
Olaf Chitil, Maarten Faddegon
Publikováno v:
Computer Languages, Systems & Structures. 52:92-110
Observing intermediate values helps to understand what is going on when your program runs. For lazy functional languages Gill presented an observation method that preserves the program’s semantics. However, users need to define for each type how it
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::912130541d109ed69eb656bb13848288
https://doi.org/10.1016/j.cl.2017.05.001
https://doi.org/10.1016/j.cl.2017.05.001
Publikováno v:
IFL
Debugging type errors is a necessary process that programmers, both novices and experts alike, face when using statically typed functional programming languages. All compilers often report the location of a type error inaccurately. This problem has b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ac1c5a7dd657c438f01b9ba9ebdcf39
https://doi.org/10.1145/3310232.3310243
https://doi.org/10.1145/3310232.3310243
Autor:
Kanae Tsushima, Olaf Chitil
Publikováno v:
Functional and Logic Programming ISBN: 9783319906850
FLOPS
FLOPS
Many different approaches to type error debugging were developed independently.\ud In this paper, we describe a new common framework\ud for several type error debugging approaches.\ud For this purpose, we introduce expected types from the outer conte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1efc59a55a485cb682c6b7ac0c7c2ace
https://kar.kent.ac.uk/66352/1/common-framework-expected.pdf
https://kar.kent.ac.uk/66352/1/common-framework-expected.pdf
Publikováno v:
IFL
Existing methods for generating a detailed trace of a computation of a lazy functional program are complex.\ud These complications limit the use of tracing in practice. However, such a detailed trace is desirable for understanding and debugging a laz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e456af87937ebcb0b9a25667659bf05
https://kar.kent.ac.uk/61147/1/hatLight.pdf
https://kar.kent.ac.uk/61147/1/hatLight.pdf
Autor:
Maarten Faddegon, Olaf Chitil
Publikováno v:
PLDI
A computation tree of a program execution describes computations of functions and their dependencies. A computation tree describes how a program works and is at the heart of algorithmic debugging. To generate a computation tree, existing algorithmic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::05a8061d074d67056a7312d9c59f4bea
https://kar.kent.ac.uk/55352/1/finalWithBadgeAndPages.pdf
https://kar.kent.ac.uk/55352/1/finalWithBadgeAndPages.pdf
Autor:
Olaf Chitil, Maarten Faddegon
Publikováno v:
PLDI
Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by the debugger. This is a pity, because a promisin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::880379dae1d14b46251b23c07a76ff37
https://doi.org/10.1145/2737924.2737985
https://doi.org/10.1145/2737924.2737985
Autor:
Olaf Chitil, Maarten Faddegon
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319146744
Trends in Functional Programming
Trends in Functional Programming
Observing intermediate values helps to understand what is going on when your program runs.\ud Gill presented an observation method for lazy functional languages that\ud preserves the program's semantics.\ud However, users need to define for each type
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ccea4e564ae15fcbf6b1ca450ea2fcd3
https://doi.org/10.1007/978-3-319-14675-1_6
https://doi.org/10.1007/978-3-319-14675-1_6
Autor:
Olaf Chitil
Publikováno v:
Journal of Functional Programming. 19:723-725
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fcb985cfd39aaa6fa9cf6c9a470c389e
https://doi.org/10.1017/s0956796809007357
https://doi.org/10.1017/s0956796809007357