- document
-
Stuijt Giacaman, Willem (author)The Language Server Protocol (LSP) is a protocol that standardizes the way Integrated Development Environments (IDEs) and text editors communicate with language servers to provide language-specific features like autocompletion, go-to-definition, and diagnostics. While LSP has been widely adopted by mainstream programming languages, its adoption...master thesis 2024
- document
-
Horvath, I. (author), Abou Eddahab-Burke, F. (author)There are many large-scale, transdisciplinary research problematics associated with next-generation cyber-physical systems, which are difficult to capture, analyze, and transfer into sharable research models. This two-part paper is intended to contribute to a better understanding and to provide a systematic approach to describing, scoping, and...journal article 2024
- document
-
Abou Eddahab-Burke, F. (author), Horvath, I. (author)This second Part of the paper (i) develops a detailed procedural model for handling complicated research problematics, (ii) transfers the procedural framework into a scenario of processing steps, (iii) demonstrates the deployment of the procedural scenario in a sample case, and (iv) addresses some important issues of research model development...journal article 2024
- document
-
Portengen, Joel (author)The global transport sector currently contributes 23% of carbon dioxide emissions, a figure set to double by 2050 without mitigation efforts. While Scope 3 emissions, notably in container transport, are challenging to address, they constitute over half of all emissions. This study explores cargo owners' perspectives on Scope 3 emissions and...master thesis 2023
- document
-
Düzgün, Osman (author)Alternative fuels can help the maritime shipping industry to lower its emissions. However, there are commercial risks that surround the adoption of these cleaner fuels. A book & claim based carbon insetting initiative could reduce these commercial risks and accelerate the decarbonization of the maritime shipping industry. Carbon insetting is...master thesis 2023
- document
-
Tilro, Jesse (author)Reusable tools for engineering software languages can bridge the gap between formal specification and implementation, lowering the bar for engineers to design and implement programming languages. Among such tools belong NaBL2 and its successor Statix, which are meta-languages for declaratively specifying the static semantics of programming...master thesis 2023
- document
-
Kunati, Nikhil (author)The primary objective of this study was to address the lack of understanding of the commercial- scale implementation of novel CO2 based carbon nanomaterial (CNM) production and its comparison with status quo CNM production processes using unsustainable fossil resources. To accomplish this objective, first, a literature review was performed on...master thesis 2023
- document
-
Hübner, Paul (author)Scope graphs provide a way to type-check real-world programming languages and their constructs. A previous implementation that type-checks the proof-of-concept language LM, a language with relative, unordered, and glob imports, does not halt. This thesis discusses a five-step approach for constructing and type-checking a scope graph of an LM...bachelor thesis 2023
- document
-
Mocanu, Andreea (author)In this paper, we explore scope graphs as a formal model for constructing type checkers for programming languages that support type classes. Type classes provide a powerful mechanism for ad hoc-polymorphism and code reuse. Nevertheless, the incorporation of type classes into type checkers poses challenges, as it necessitates the resolution of...bachelor thesis 2023
- document
-
Knapen, Jan (author)Substructural typing imposes additional constraints on variable usage during type checking and requires specialized approaches to ensure type soundness. In this study, we investigate the implementation of a type checker using scope graphs for languages with substructural type systems. Scope graphs, a data structure representing scoping, provide...bachelor thesis 2023
- document
-
Thabet, Omar (author)Traditional type-checking programs are typically designed for specific programming languages, re- sulting in complex and tightly coupled imperative implementations. One of the challenges faced by type checkers is ensuring consistent name-binding resolution in the presence of new names and sym- bols added to the environment. To address this issue...bachelor thesis 2023
- document
-
Mihălăchiuţă, Radu (author)This paper investigates the viability of using scope graphs to implement type checkers for programming languages, specifically for a Scala subset. The primary objective is to determine if scope graphs can offer a declarative and extensible approach to type checking. To achieve this, we used a phased Haskell library to implement such a type...bachelor thesis 2023
- document
-
Brouwer, Jonathan (author)Static type systems can greatly enhance the quality of programs, but implementing a type checker for them is challenging and error-prone. The Statix meta-language (part of the Spoofax language workbench) aims to make this task easier by automatically deriving a type checker from a declarative specification of the type system. However, so far...master thesis 2023
- document
-
De Vries, Roelof A.J. (author), Lemke, M. (author), Ludden, Geke D.S. (author)To improve people's lives, human-computer interaction researchers are increasingly designing technological solutions based on behavior change theory, such as social comparison theory (SCT). However, how researchers operationalize such a theory as a design remains largely unclear. One way to clarify this methodological step is to clearly state...journal article 2023
- document
-
Miljak, L. (author), Poulsen, C.B. (author), van Spaendonck, Flip (author)The goal of automated refactoring is to reduce maintenance effort. To realize this, programmers need to be able to trust or manually check that refactorings actually preserve behavior. To allow programmers to focus on such checks, automated refactorings should preserve program well-typedness. However, historically automated refactorings in...conference paper 2023
- document
-
Brouwer, Jonathan (author), Cockx, J.G.H. (author), Zwaan, A.S. (author)Static type systems can greatly enhance the quality of programs, but implementing a type checker that is both expressive and user-friendly is challenging and error-prone. The Statix meta-language (part of the Spoofax language workbench) aims to make this task easier by automatically deriving a type checker from a declarative specification of...conference paper 2023
- document
-
Peng, Z. (author), Desmet, P.M.A. (author), Xue, H. (author)This article presents a comprehensive review of existing literature covering the topic of mood-focused design. It delves into how designers and design researchers currently address mood in the context of experience-driven design. Using a scoping review methodology, we identified and thematically analyzed sixty-six highly relevant articles. Our...review 2023
- document
-
Poulsen, C.B. (author), Zwaan, A.S. (author), Hübner, Paul (author)An important aspect of type checking is name resolution — i.e., determining the types of names by resolving them to a matching declaration. For most languages, we can give typing rules that define name resolution in a way that abstracts from what order different units of code should be checked in. However, implementations of type checkers in...conference paper 2023
- document
-
Zwaan, A.S. (author), van Antwerpen, H. (author)Static name binding (i.e., associating references with appropriate declarations) is an essential aspect of programming languages. However, it is usually treated in an unprincipled manner, often leaving a gap between formalization and implementation. The scope graph formalism mitigates these deficiencies by providing a well-defined, first...conference paper 2023
- document
-
Schreuder, Anniek (author)Over the years, the marine contracting sector has faced many challenges surrounding safety, the economic fluctuations because of the oil crisis and now tackling the sustainability challenge. Years of experience in the offshore industry, a heavy industry that contributes significantly to the climate crisis through its environmental impact, is...master thesis 2022