- document
-
Rogers, Eben (author)When writing functional code that composes multiple recursive functions that operate on a datastrcuture, we often incur a lot of computational overhead allocating memory, only to later read, use, and discard this information.<br/>This can be alleviated using fusion, a technique that combines these multiple recursive datastructure traversals into...master thesis 2024
- document
-
Katzy, J.B. (author)Large language models have become increasingly utilized in programming contexts. However, due to the recent emergence of this trend, some aspects have been overlooked. We propose a research approach that investigates the inner mechanics of transformer networks, on a neuron, layer, and output representation level, to understand whether there...conference paper 2024
- document
-
Groenewegen, D.M. (author)Information systems store and organize data, and manage business processes concerned with that data. Information systems aim to support operations, management and decision-making in organizations. Web applications are ideal for implementing information systems. Although existing web frameworks provide abstractions for creating web applications,...doctoral thesis 2023
- document
-
Dönszelmann, Jonathan (author)Programmers spend significantly more time trying to comprehend existing code than writing new code. They gain an understanding of the code by navigating the code base in an IDE, by reading documentation online, and by browsing code repositories on websites such as GitHub. To create rich experiences for programming languages across those various...master thesis 2023
- document
-
Diepraam, Terts (author)Algebraic effects and handlers have become a popular abstraction for effectful computation, with implementations even in mainstream programming languages, such as OCaml. The operations of an algebraic effect define the syntax of the effect, while handlers define the semantics. This provides modularity, because we can choose which handler to...master thesis 2023
- document
-
Padilla Cancio, José (author)This paper concerns itself with correct by construction refactoring of Maybe values to List values in a Haskell-like language (HLL) as a case study on data-oriented refactorings. Our language makes use of intrinsically-typed syntax and de Bruijn indices for variables. Operational semantics are defined using big step semantics. We define a...bachelor thesis 2023
- document
-
Juhošová, Sára (author)Formal verification is a powerful tool for ensuring program correctness but is often hard to learn to use and has not yet spread into the commercial world. This thesis focuses on finding an easy-to-use solution to make formal verification available in popular programming language ecosystems. We propose a solution where users can write code in an...master thesis 2023
- document
-
Jakovonis, Saulius (author)The success of dynamically typed languages such as Python has resulted in an increased interest in supporting type inference in statically typed lan- guages. Type inference refers to automatic type detection based on surrounding context and allows retaining the type safety (and other advantages) of static types, while matching the ease of use of...bachelor thesis 2023
- document
-
Kocakaya, Hasan (author)Names are essential for structuring and reason-ing about programs. However, the implementation of names differs across many programming lan-guages. There is an bundance of choice between various implementation techniques with regards to name-binding techniques. As such, when design-ing a programming language it is not clear which technique one...bachelor thesis 2023
- document
-
de Wit, S. (author), Hermans, Felienne (author), Specht, M.M. (author), Aivaloglou, E.A. (author)Women are underrepresented in Computer Science (CS). Closing the gender gap in CS benefits the economy, gender equality and society. However, girls have low CS interest while interest energizes learning and guides career trajectories. We explore the effects of the user interface of Hedy, a graduate language which teaches the syntax of Python, on...poster 2023
- document
-
Maddila, C.S. (author)The software development life cycle (SDLC) for a developer has increased in complexity and scale. With the advent of DevOps processes, the gap between development and operations teams reduced significantly. Developers are now expected to perform different roles from coding to operational support in the new model of software development. This...doctoral thesis 2022
- document
-
Feenstra, Jos (author)In the field of Geographical Information Science (GIS), geodata transformation and analysis tools often take the shape of software libraries written in system level programming languages. <br/>However, the societal impact of these tools is often limited, as most end users only access these libraries via indirect means: Through bindings in other...master thesis 2022
- document
-
Molendijk, Thijs (author)The dynamic semantics of a programming language formally describe the runtime behavior of any given program. In this thesis, we present Dynamix, a meta-language for dynamic semantics. By writing a specification for a language in Dynamix, a compiler for the language can be derived automatically.<br/><br/>Dynamix specifications compile source...master thesis 2022
- document
-
de Haas, Olav (author)Formal verification of imperative programs can be carried out on paper by annotating programs to obtain an outline of a proof in the style of Hoare. This process has been mechanized by the introduction of Separation Logic and computer assisted verification tools. However, the tools fail to achieve the readability and convenience of manual paper...master thesis 2022
- document
-
Bijman, Matthijs (author)Dataflow analysis is a powerful tool used for program optimization, static analysis, and editor services for many programming languages. Spoofax, a language workbench, contains a domain-specific language called FlowSpec for the definition of control-flow and dataflow semantics that language developers can use to implement dataflow analyses for...master thesis 2022
- document
-
Mesters, Brendan (author)Effect Handler Oriented Programming is a promising new programming paradigm, delivering separation of of concerns with regards to side effects in an otherwise functional environment.<br/>This paper discusses the applicability of this new paradigm to static code analysis programs. <br/>Different code analyzers often have many similar, if not...bachelor thesis 2022
- document
-
Todorov, Ivan (author)Effect handler oriented programming (EHOP) is a recently proposed programming paradigm, which aims to provide a separation of concerns by isolating the handling of side-effects from the main application logic. Nowadays, as the core concepts behind EHOP are being added to more and more programming languages, it is evident that EHOP is slowly but...bachelor thesis 2022
- document
-
Streef, Sam (author)Effect handler orient programming (EHOP) is a recently proposed programming paradigm that aims to provide a high-level abstraction in code. Using this paradigm, programmers are able to define operations as an effect, which are implemented by an effect handler. Functions can then use effects, allowing the effect operations to be used in this...bachelor thesis 2022
- document
-
Mooij, A.J. (author)In the last couple of years several dynamically-typed, object-oriented programming languages have been equipped with optional static type checkers. This typically requires these languages to be extended with a downcast operator, which is a common operator in statically-typed languages but not in dynamically-typed languages. Our objective is...journal article 2022
- document
-
Pejić, Saša Pejić (author)In recent years the AEC industry has started implementing more new technologies. Still, the adoption process is slow. One of the crucial steps during the building designing is a justification of design according to previously defined requirements. That process is still manual to a large extent, therefore unnecessarily time-consuming and prone to...master thesis 2021