Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Jurriaan Hage"'
Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education
Autor:
Jurriaan Hage
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 321
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf92a699c8f4310eff9d07e3a97d33ee
https://doi.org/10.4204/eptcs.321.0
https://doi.org/10.4204/eptcs.321.0
Publikováno v:
PLDI
The design space for type systems that support impredicative instantiation is extremely complicated. One needs to strike a balance between expressiveness, simplicity for both the end programmer and the type system implementor, and how easily the syst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::483664e304986b98cc17169895e05fa8
https://doi.org/10.1145/3296979.3192389
https://doi.org/10.1145/3296979.3192389
Publikováno v:
ISSRE
The popularity of JavaScript (JS) is enormous. Together with HTML and CSS, it is the core technology for modern web development. Because of the dynamic nature and complex interplay with HTML, JS applications are often error-prone and vulnerable. Desp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4cda08cc8e389bf5d510d3f1427dfc4
https://doi.org/10.1109/issre.2018.00020
https://doi.org/10.1109/issre.2018.00020
Publikováno v:
SCAM
In this paper, we apply fine-grained slicing techniques to the models generated from the Rebel modeling language before passing them on to an SMT solver. We show that our slicing techniques have a significant positive effect on performance, allowing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8613c21570c418aa6a642cef11f5a686
https://doi.org/10.1109/scam.2018.00035
https://doi.org/10.1109/scam.2018.00035
Autor:
Daniël Heres, Jurriaan Hage
Publikováno v:
Proceedings of the 6th Computer Science Education Research Conference.
In this work we compare a total of 9 different tools for the detection of source code plagiarism. We evaluated the plagiarism or copy detection tools CPD, JPlag, Sherlock, Marble, Moss, Plaggie and SIM and two baselines, one based on the Unix tool di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::42211afc6923d643045070fdda51671a
https://doi.org/10.1145/3162087.3162101
https://doi.org/10.1145/3162087.3162101
Autor:
Alejandro Serrano, Jurriaan Hage
Publikováno v:
IFL
Embedded domain specific languages (DSLs) are a common pattern in the functional programming world, providing very high-level abstractions to programmer. Unfortunately, this abstraction is broken when type errors occur, leaking details of the DSL imp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ccda3acdf0c9ea0f092bc7d4105384e
https://doi.org/10.1145/3205368.3205370
https://doi.org/10.1145/3205368.3205370
Autor:
Jay McCarthy, Jurriaan Hage
Publikováno v:
Computer Languages, Systems & Structures. 52:63-64
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c619c083a1c92267f1d11dcb38a5b12
https://doi.org/10.1016/j.cl.2017.05.003
https://doi.org/10.1016/j.cl.2017.05.003
Autor:
Manuel Serrano, Jurriaan Hage
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume
Publikováno v:
WICSA
Architectural patterns represent reusable design of software architecture at a high level of abstraction. They can be used to structure new applications and to recover the modular structure of existing systems. Techniques like Architecture Compliance
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::143215f2d6addb40f7f673784b96a565
https://doi.org/10.1109/wicsa.2016.50
https://doi.org/10.1109/wicsa.2016.50
Autor:
Alejandro Serrano, Jurriaan Hage
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783319282275
PADL
PADL
Tree regular expressions are a generalization of string regular expressions to tree-shaped data. In this paper we apply the theory of tree regular expressions to extend pattern matching on Haskell data types. We define the operations in a data type-g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63e6f41f8dec8bba1cf5dfdd9bd77184
https://doi.org/10.1007/978-3-319-28228-2_6
https://doi.org/10.1007/978-3-319-28228-2_6