Searched for: contributor%3A%22Visser%2C+Eelco+%28graduation+committee%29%22
(1 - 16 of 16)
document
van Walraven, Bram (author)
Digital printing systems allow for the production of a large variety of different products. Making production plans for all these different products is challenging. One of the challenging aspects of making these production plans is choosing the right sequence of machines, to produce the desired intent. This is challenging due to three aspects:...
master thesis 2022
document
Oolbekkink, Gerben (author)
Web APIs are being used for increasingly larger and complex use cases. Right now it can be hard to make sure that what is documented about an API is correct everywhere and to know if a change will have impact on the users of a web API. When details are missing in an API specification users of that API need to make assumptions about how the API...
master thesis 2022
document
Hartman, Toine (author)
Pattern matching is the act of checking if a value is in the set of values described by a pattern. Many programming languages provide constructs to pattern match on program values. Pattern matching constructs appear in different variants. Stratego, a term rewriting language, features first-class pattern matching, which attempts to match a...
master thesis 2022
document
Zorgdrager, Wouter (author)
The cloud is widely adopted as a flexible and on-demand computing infrastructure. In recent years, a new and promising cloud paradigm emerged: serverless computing. Serverless computing promises a pay-as-you-go model and offers features such as autoscaling and high availability. Nevertheless, developing scalable cloud applications remains a...
master thesis 2021
document
Kapitonenko, Nik (author)
JSGLR2 is a java implementation of the Scannerless Generalized LR-parsing (SGLR) algorithm. It employs a modular architecture. This architecture comes with a performance overhead for letting multiple components interact with each other. This paper looks into the size of the performance overhead penalty for the recovery parser variant. It does so...
bachelor thesis 2021
document
Coman, Mara (author)
JSGLR2 is a modular Java implementation of the SGLR parsing algorithm that supports systematic benchmarking and improvement of its several parsing variants. By splitting the code into several components, they can be tested in isolation and thus optimized more effortlessly. The modular architecture, although beneficial for efficiently identifying...
bachelor thesis 2021
document
Oudsen, Erik (author)
Due to the increase in student numbers, the amount of time teachers have for each individual decreases. To keep the quality of the program the same, learning analytics can be utilized to assist teachers to give a better overview of problems which the students are struggling the most with. This work makes use of WebLab data of the Introduction to...
master thesis 2021
document
Bot, Bernard (author)
Compilers translate high-level source code into low-level machine code. To represent source code a compiler uses a language called the intermediate representation (IR). An IR for the compilation of functional languages is continuation-passing style (CPS). It provides convenient abstractions for both data flow and control flow. However, CPS...
master thesis 2021
document
van der Leij, David (author)
Refactoring is the process of improving the structure of code without changing its functionality. The process is beneficial for software quality but challenges remain for identifying refactoring opportunities. This work employs machine learning to predict the application of the refactoring type Extract Method in an industry setting with the use...
master thesis 2021
document
Sol, Roelof (author)
Context:<br/>Updating an old result by selective re-execution of the inconsistent<br/>parts of some computation is usually faster than recomputing everything.<br/>Incremental build systems and interactive development pipelines<br/>use this technique to speed up feedback.<br/>They consist of different tasks. <br/>These tasks form a graph by...
master thesis 2019
document
van Geest, Wiebe (author)
Session types are a formal method to describe communication protocols between two or more actors. Protocols that type check are guaranteed to respect communication safety, linearity, progress, and session fidelity. Basic session types, however, do not in general guarantee anything about the contents of messages, while real-life applicationsĀ of...
master thesis 2018
document
Papadopoulos, Giannis (author)
Large companies suffer from the increasing complexity that exist in their software systems. Evolving their software becomes even harder if we consider that a change in one system can affect several other parts of their software architecture. Especially banks that need to be always complied with regulations, have to constantly make changes in...
master thesis 2018
document
Bosma, Sander (author)
When using an integrated development environment, it is desirable to get real-time feedback on the correctness of the program. That is, we want to see the results of the type checker in real-time. However, type checking can take a long time, especially when the subject program is large. To be able to provide real-time results, we need to...
master thesis 2018
document
Hidskes, Jente (author)
Many program transformation languages simplify the implementation of program transformations. However, they give only weak static guarantees about the generated code such as well-sortedness. Well-sortedness guarantees that a program transformation does not generate syntactically ill-formed code, but it is too imprecise for many other scenarios....
master thesis 2018
document
Kunst, GJ (author)
For programs controlling industrial processes, it is of vital importance that they produce results conform their functional specification. Furthermore, it is important that their running times are bounded, and that we can predict corresponding worst-case scenarios. Programs written in general purpose programming languages can crash or produce...
master thesis 2018
document
Crielaard, Bram (author), Bruin, Chiel (author), Aerts, Taico (author)
WebLab is a system where students can write and test code using an online interface. Course coordinators can create assignments and exams, where they can define automated tests to verify that the student code meets requirements. As WebLab only offered support for programming languages which run on the Java Virtual Machine, it was limited to a...
bachelor thesis 2017
Searched for: contributor%3A%22Visser%2C+Eelco+%28graduation+committee%29%22
(1 - 16 of 16)