Zobrazeno 1 - 10
of 115
pro vyhledávání: '"Hage Jurriaan"'
Autor:
Serrano Alejandro, Hage Jurriaan
Publikováno v:
Open Computer Science, Vol 9, Iss 1, Pp 33-51 (2019)
Domain-specific languages (DSLs) permeate current programming practices. An important kind of DSLs includes those developed and integrated within a host language, which we call embedded or internal DSLs. Unfortunately, embedded DSLs usually fall shor
Externí odkaz:
https://doaj.org/article/0917d4450f554d5496cbe39e1b05a4c3
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
Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education
Autor:
Hage, Jurriaan
Publikováno v:
EPTCS 321, 2020
This volume contains five papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2019 and TFPIE 2020 that took places in Vancouver, Canada and Krakow, Poland respectively. TFPIE stands for Trends in Functional Programming in
Externí odkaz:
http://arxiv.org/abs/2008.08923
Publikováno v:
The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 3, Article 14
Program comprehension concerns the ability of an individual to make an understanding of an existing software system to extend or transform it. Software systems comprise of data that are noisy and missing, which makes program understanding even more d
Externí odkaz:
http://arxiv.org/abs/1902.00526
Publikováno v:
The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 1, Article 2
Many of the existing approaches for program comprehension rely on the linguistic information found in source code, such as identifier names and comments. Semantic clustering is one such technique for modularization of the system that relies on the in
Externí odkaz:
http://arxiv.org/abs/1708.01680
Autor:
Serrano, Alejandro, Hage, Jurriaan
Constraint Handling Rules provide descriptions for constraint solvers. However, they fall short when those constraints specify some binding structure, like higher-rank types in a constraint-based type inference algorithm. In this paper, the term synt
Externí odkaz:
http://arxiv.org/abs/1707.02754
Autor:
Jagroep, Erik, van der Ent, Arjan, van der Werf, Jan Martijn E.M., Hage, Jurriaan, Blom, Leen, van Vliet, Rob, Brinkkemper, Sjaak
Publikováno v:
In Information and Software Technology March 2018 95:165-176
Autor:
van Hees, Rinse, Hage, Jurriaan
Publikováno v:
In Information and Software Technology July 2017 87:242-258
Publikováno v:
In Science of Computer Programming 1 December 2014 95 Part 2:200-218